top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automated Deduction – CADE-21 [Risorsa elettronica] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning
Automated Deduction – CADE-21 [Risorsa elettronica] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2007
Collana Lecture Notes in Computer Science
ISBN 9783540735953
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009245410403321
Berlin ; Heidelberg : Springer, 2007
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Logic programming and automated reasoning : 5th International conference LPAR'94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
Logic programming and automated reasoning : 5th 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-Verlag, copyr. 1994
Descrizione fisica X, 344 p. : ill. ; 24 cm
Disciplina 005131
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - kiev - 1994
elaboratori elettronici - programmazione - congressi - 1994
intelligenza artificiale - congressi - 1994
logica matematica - congressi - 1994
ISBN 3-540-58216-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200500203316
International conference LPAR'94 : 5. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Term Rewriting and Applications [Risorsa elettronica] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning
Term Rewriting and Applications [Risorsa elettronica] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540368359
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009241890403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Types in logic programming / edited by Frank Pfenning
Types in logic programming / edited by Frank Pfenning
Pubbl/distr/stampa Cambridge (Mass.) ; London : MIT Press, copyr. 1992
Disciplina 005.11
Soggetto non controllato programmazione (informatica)
ISBN 0-262-16131-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000176910203316
Cambridge (Mass.) ; London : MIT Press, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Types in logic programming / edited by Frank Pfenning
Types in logic programming / edited by Frank Pfenning
Pubbl/distr/stampa Cambridge (Mass.) [etc.] : MIT Press, copyr. 1992
Descrizione fisica XVIII, 357 p. : ill. ; 23 cm
Disciplina 0051
Collana Logic programming series
Soggetto non controllato elaboratori elettronici - programmazione
logica matematica
ISBN 0-263-16131-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000221580203316
Cambridge (Mass.) [etc.] : MIT Press, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Types in logic programming / edited by Frank Pfenning
Types in logic programming / edited by Frank Pfenning
Pubbl/distr/stampa Cambridge (Mass.), : The MIT press, ©1992
Descrizione fisica XVIII, 357 p. ; 24 cm
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica
Elaboratori elettronici - Programmazione
ISBN 0262161311
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS1740935
Cambridge (Mass.), : The MIT press, ©1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui