Nonclassical logics and information processing : international workshop Berlin, Germany, November 9-10, 1990 : proceeding / D. Pearce (ed.) |
Pubbl/distr/stampa | Berlino [etc.] : Springer-Verlag, copyr. copyr. 1992 |
Descrizione fisica | 171 p. : ill. ; 24 cm |
Disciplina | 005131 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
congressi - berlino - 1990
elaboratori elettronici - programmazione - congressi - 1990 elaborazione dei dati - congressi - 1990 logica matematica - congressi - 1990 |
ISBN | 3-540-55745-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000201790203316 |
Berlino [etc.] : Springer-Verlag, copyr. copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
World equations and related topics : Tübingen, Germany, October 1-3, 1990 : proceedings / K. U. Schulz (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
Descrizione fisica | 256 p. : ill. ; 25 cm |
Disciplina | 005131 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - tübinga - 1990
elaboratori elettronici - programmazione - congressi - 1990 logica matematica - congressi - 1990 |
ISBN | 3-540-55124-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000202630203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|