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)
Extensions of logic programming : 4. international workshop, ELP '93 : St. Andrews, U.K., March 29 - April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
Extensions of logic programming : 4. international workshop, ELP '93 : St. Andrews, U.K., March 29 - April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
Autore International workshop ELP '93 : <4. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, c1994
Descrizione fisica VIII, 360 p. ; 24 cm
Disciplina 005.1
005.115
Collana Lecture notes in computer science, . Lecture notes in artificial intelligence
Soggetto topico Programmazione logica - Congressi - 1993
ISBN 0387580255
3540580255
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10007112
International workshop ELP '93 : <4. : ; 1993  
Berlin [etc.], : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Logic programming : proceedings of the tenth international conference on logic programming / edited by David S. Warren
Logic programming : proceedings of the tenth international conference on logic programming / edited by David S. Warren
Autore International conference on logic programming : <10. : ; 1993
Pubbl/distr/stampa Cambridge (Mass.), : The MIT press, 1993
Descrizione fisica XX, 854 p. ; 23 cm
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica - Congressi - 1993
ISBN 0262731053
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS0081009
International conference on logic programming : <10. : ; 1993  
Cambridge (Mass.), : The MIT press, 1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Logic programming and automated reasoning : 4. international conference, LPAR '93 : St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
Logic programming and automated reasoning : 4. international conference, LPAR '93 : St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
Autore International conference on logic programming and automated reasoning : <4. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, c1993
Descrizione fisica XIII, 386 p. ; 24 cm
Disciplina 005.1
005.115
Collana Lecture notes in computer science, . Lecture notes in artificial intelligence
Soggetto topico Programmazione logica - Congressi - 1993
ISBN 0387569448
3540569448
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10012924
International conference on logic programming and automated reasoning : <4. : ; 1993  
Berlin [etc.], : Springer, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Programming language implementation and logic programming : 5. international sysmposium, PLILP'93 : proceedings / Maurice Bruynooghe, Jean Penjam (eds.)
Programming language implementation and logic programming : 5. international sysmposium, PLILP'93 : proceedings / Maurice Bruynooghe, Jean Penjam (eds.)
Autore PLILP : <5. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, c1993
Descrizione fisica XI, 421 p. ; 25 cm.
Disciplina 005.13
005.131
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Linguaggi - Congressi - 1993
Programmazione logica - Congressi - 1993
ISBN 0387571868
3540571868
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10002376
PLILP : <5. : ; 1993  
Berlin [etc.], : Springer, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui