Automated Reasoning: Proceedings of the Ifip Tc 12/Wg12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992: Ifip Tr - Brossura

 
9780444898760: Automated Reasoning: Proceedings of the Ifip Tc 12/Wg12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992: Ifip Tr
Brossura
ISBN 10: 044489876X ISBN 13: 9780444898760
Casa editrice: North-Holland, 1993

Sinossi

The research frontiers of Automated Reasoning are explored and extended in this book. The range is wide, spanning Geometric Reasoning, Nonmonotonic Reasoning, Uncertain Reasoning, Pansystems Theory, Parallel Reasoning, Temporal Reasoning, Qualitative Reasoning, Analogical Reasoning, Constraint Reasoning, Search and Neurocomputing. Contributions, combining practice and theory, have been sourced from specialists in the fields of Artificial Intelligence, Logic and Mathematics and the book should be of significant interest to researchers, developers and students involved in disciplines across these fields.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
North-Holland
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
044489876X
ISBN 13 
9780444898760
Rilegatura
Copertina flessibile
Numero di pagine
354
Redattore
Shi Zhongzhi
Contatto del produttore
non disponibile
Persona responsabile
non disponibile