Record Nr.

UNISANNIOAQ10003614

Autore

International Conference Artificial Intelligence and Simbolic Mathematical Computation : <1. : ; 1992

Titolo

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1 : Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)

Pubbl/distr/stampa


Berlin [etc.], : Springer-Verlag, c1993

ISBN

0387573224

3540573224

Descrizione fisica

305 p. ; 24 cm.

Collana

Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 737

Disciplina

006.3

Soggetti

Intelligenza artificiale - Congressi - 1992

Logica simbolica - Congressi - 1992

Logica matematica - Congressi - 1992

Collocazione

COLL. ING. LNCS

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia