Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic programming and automated reasoning : 5. international conference, LPAR '94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
| Logic programming and automated reasoning : 5. international conference, LPAR '94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) |
| Autore | International conference LPAR '94 : <5. : ; 1994 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | X, 344 p. ; 24 cm |
| Disciplina |
005.1
005.115 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico | Programmazione logica - Congressi - 1994 |
| ISBN |
0387582169
3540582169 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10007603 |
International conference LPAR '94 : <5. : ; 1994
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Programming language implementation and logic programming : 6. international symposium, PLILP '94 : Madrid, Spain, September 14-16 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.)
| Programming language implementation and logic programming : 6. international symposium, PLILP '94 : Madrid, Spain, September 14-16 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.) |
| Autore | International symposium on programming language implementation and logic programming : <6. : ; 1994 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XII, 468 p. ; 24 cm |
| Disciplina |
005.13
005.131 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Elaboratori elettronici - Linguaggi - Congressi - 1994
Programmazione logica - Congressi - 1994 |
| ISBN |
0387584021
3540584021 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10008049 |
|
International symposium on programming language implementation and logic programming : <6. : ; 1994
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
