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.
Automated deduction - CADE-15 : 15th International conference on automated deduction : Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner ... [et al.] (eds.)
Automated deduction - CADE-15 : 15th International conference on automated deduction : Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner ... [et al.] (eds.)
Autore International conference on automated deduction : 15. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Disciplina 005131
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - lindau - 1998
intelligenza artificiale - congressi - 1998
logica matematica - congressi - 1998
ISBN 3-540-64675-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202370203316
International conference on automated deduction : 15. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.)
Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.)
Autore International workshop CSl '98 : 12 : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1999
Descrizione fisica X, 429 p. : ill. ; 24 cm
Disciplina 005131
Collana Lecture notes in computer science
Soggetto non controllato congressi - brno (czech republic) - 1998
elaboratori elettronici - programmazione - congressi - 1998
logica matematica - congressi - 1998
ISBN 3-540-65922-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000208620203316
International workshop CSl '98 : 12 : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1999
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.)
Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.)
Autore International workshop FPL'98 : 8. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica XI, 533 p. : ill. ; 24 cm
Disciplina 62139
Collana Lecture notes in computer science
Soggetto non controllato congressi - tallinn - 1998
elaboratori elettronici digitali - circuiti - congressi - 1998
logica matematica - congressi - 1998
programmazione logica - congressi - 1998
ISBN 3-540-64948-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000210190203316
International workshop FPL'98 : 8. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
Autore International conference ILP-98 : 8. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica VIII, 299 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - madison - 1998
elaboratori elettronici - programmazione - congressi - 1998
logica matematica - congressi - 1998
ISBN 3-540-64738-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201620203316
International conference ILP-98 : 8. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.)
Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.)
Autore International conference TPHOLs'98 : 11. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica VIII, 496 p. : ill. ; 20 cm
Disciplina 0040151
Collana Lecture notes in computer science
Soggetto non controllato congressi - canberra - 1998
logica matematica - congressi - 1998
logica simbolica - congressi - 1998
matematica applicata agli elaboratori - congressi - 1998
ISBN 3-540-64987-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000209850203316
International conference TPHOLs'98 : 11. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
theory, tools and applications : 6th international conference on conceptual structures, ICCS'98 Monpelier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier ... [et al.] (eds.) (Conceptual structures)
theory, tools and applications : 6th international conference on conceptual structures, ICCS'98 Monpelier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier ... [et al.] (eds.) (Conceptual structures)
Autore International conference on conceptual structures ICCS'98 : 6. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica XIII, 438 p. : ill. ; 24 cm
Disciplina 5115
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - montpellier - 1998
grafi - congressi - 1998
logica matematica - congressi - 1998
ISBN 3-540-64791-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201630203316
International conference on conceptual structures ICCS'98 : 6. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui