Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Automated Reasoning: Ifip Tr (IFIP Transactions A:...
Imagen de archivo
Automated Reasoning (IFIP Transactions A: Computer Science and Technology)
Publicado por
North Holland, 1993
ISBN 10: 044489876X
ISBN 13: 9780444898760
Antiguo o usado
Paperback
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Nº de ref. del artículo: mon0000436540
Comprar usado
EUR 4,38
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles