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)
Computer science logic : 9th International workshop CSL'95 : Paderborn, Germany, September 22-29, 1995 / Hans Kleine Buning (ed.)
Computer science logic : 9th International workshop CSL'95 : Paderborn, Germany, September 22-29, 1995 / Hans Kleine Buning (ed.)
Autore International workshop CSL'95 : 1995
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1996
Descrizione fisica VIII, 485 p. . ill. ; 23 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato congressi - paderborn - 1995
elaboratori elettronici - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-61377-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206400203316
International workshop CSL'95 : 1995  
Berlin : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Field-programmable logic and applications : 5th International workshop, FLP '95 : Oxford, United Kingdom, August 29-September 1, 1995 : proceedings / Will Moore ... [etc.] (eds.)
Field-programmable logic and applications : 5th International workshop, FLP '95 : Oxford, United Kingdom, August 29-September 1, 1995 : proceedings / Will Moore ... [etc.] (eds.)
Autore International workshop FPL'95 : 5. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica XII, 450 p. : ill. ; 24 cm.
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - oxford - 1995
elaboratori elettronici - programmazione - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-60294-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211030203316
International workshop FPL'95 : 5. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.)
Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 400 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - aspen grove - 1995
elaboratori elettronici - congressi - 1995
linguaggi di programmazione - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-60275-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211060203316
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic programming and nonmonotonicreasoning : third International conference, LPNMR '95 : Lexington, KY, USA, June 26-28, 1995 : proceedings / V. W. Marek ... [etc.] (eds.)
Logic programming and nonmonotonicreasoning : third International conference, LPNMR '95 : Lexington, KY, USA, June 26-28, 1995 : proceedings / V. W. Marek ... [etc.] (eds.)
Autore International conference LPNMR'95 : 3. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 415 p. : ill. ; 25 cm
Disciplina 0063
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - lexington - 1995
elaboratori elettronici - programmazione - congressi - 1995
intelligenza artificiale - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-59487-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200840203316
International conference LPNMR'95 : 3. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
Autore International conference MPC'95 : 3. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 472 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - kloster - 1995
elaboratori elettronici - programmazione - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-60117-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211010203316
International conference MPC'95 : 3. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Models, algebras, and proofs : selected papers of the X Latin American symposium on mathematical logic held in Bogotà 1995 / edited by Xavier Caicedo, Carlos H. Montenegro
Models, algebras, and proofs : selected papers of the X Latin American symposium on mathematical logic held in Bogotà 1995 / edited by Xavier Caicedo, Carlos H. Montenegro
Autore Latin American symposium on mathematical logic : 10th. : 1981
Pubbl/distr/stampa New York [etc.] : Marcel Dekker, 1999
Descrizione fisica XIII, 448 p. : ill. ; 26 cm
Disciplina 511322
Collana Lecture notes in pure and applied mathematics
Soggetto non controllato congressi - bogota' - 1995
logica matematica - congressi - 1995
modelli matematici - congressi - 1995
teoria degli insiemi - congressi - 1995
ISBN 0-8247-1970-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000219690203316
Latin American symposium on mathematical logic : 10th. : 1981  
New York [etc.] : Marcel Dekker, 1999
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorem proving with analytic tableaux and related methods : 4th International workshop TABLEAUX'95 : SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 / Peter Baumgartner [ed.]
Theorem proving with analytic tableaux and related methods : 4th International workshop TABLEAUX'95 : SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 / Peter Baumgartner [ed.]
Autore International workshop TABLEAUX'95 : 4. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica X, 352 p. : ill. ; 24 cm
Disciplina 0063
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - schlob rheinfels - 1995
intelligenza artificiale - congressi - 1995
logica matematica - congressi - 1995
ISBN 3-540-59338-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200490203316
International workshop TABLEAUX'95 : 4. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Types for proofs and programs : International workshop, TYPES '95 : Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi ... [et al.] (eds.)
Types for proofs and programs : International workshop, TYPES '95 : Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi ... [et al.] (eds.)
Autore International workshop TYPES'95 : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica X, 296 p. : ill. ; 23 cm
Disciplina 51130285
Collana Lecture notes in computer science
Soggetto non controllato congressi - torino - 1995
logica matematica - congressi - 1995
ISBN 3-540-61780-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207190203316
International workshop TYPES'95 : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui