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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||