Information systems and artificialintelligence : integration aspects : first workshop, Ulm, FRG, March 1990 : proceedings / D. Karagiannis (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
Descrizione fisica | X, 293 p. : ill. ; 25 cm |
Disciplina | 0063 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
archivi di dati - congressi - 1990
congressi - ulm - 1990 elaboratori elettronici - programmazione - congressi - 1990 intelligenza artificiale - congressi - 1990 |
ISBN | 3-540-53557-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000203230203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
|
Proceedings of the first Annual ACM-SIAM symposium on discrete algorithms : [symposium held Jan. 22-24, 1990, San Francisco, Calif.] |
Autore | Annual ACM-SIAM symposium on discrete algorithms : 1. : 1990 |
Pubbl/distr/stampa | Philadelphia : SIAM, copyr. 1990 |
Descrizione fisica | XIV, 523 p. : ill. ; 27 cm |
Disciplina | 0051 |
Soggetto non controllato |
algoritmi - congressi - 1990
congressi - san francisco - 1990 elaboratori elettronici - programmazione - congressi - 1990 |
ISBN | 0-89871-251-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000265050203316 |
Annual ACM-SIAM symposium on discrete algorithms : 1. : 1990 | ||
Philadelphia : SIAM, copyr. 1990 | ||
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 | ||
|