Items related to Automated Reasoning (IFIP Transactions A: Computer...
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.
"synopsis" may belong to another edition of this title.
- PublisherNorth Holland
- Publication date1993
- ISBN 10 044489876X
- ISBN 13 9780444898760
- BindingPaperback
- LanguageEnglish
- Number of pages341
- EditorShi Z.
Search results for Automated Reasoning (IFIP Transactions A: Computer...
Stock Image
Automated Reasoning (IFIP Transactions A: Computer Science and Technology)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Fine. Mint condition. Seller Inventory # mon0000429780
Quantity: 1 available
Stock Image
Automated Reasoning (IFIP Transactions A: Computer Science and Technology)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Seller Inventory # mon0000436540
Quantity: 1 available