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

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
North-Holland
Date d'édition
1993
Langue
anglais
ISBN 10 
044489876X
ISBN 13 
9780444898760
Reliure
Broché
Nombre de pages
354
Éditeur
Shi Z.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible