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

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

Softcover

ISBN 10: 044489876X ISBN 13: 9780444898760

Verlag: North-Holland, 1993

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.