14.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Science | >> | A Fascinating Countr... |
14.0%OFF
A Fascinating Country in the World of Computing
-
ISBN
:
9789810239107
-
Publisher
:
World Scientific Pub Co Inc
-
Subject
:
Computer Science, Mathematics
-
Binding
:
HARDCOVER
-
Pages
:
587
-
Year
:
2000
₹
18681.0
14.0% OFF
₹
16065.0
16065.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 20-23 Business Days
View Details
-
Description
This text demonstrates - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the last few decades of the 20th century, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
Related Items
-
of
-
OFFER
Neural Networks and Artificial Intelligence for Biomedical Engineering
Donna L. Hudson
Starts At
15918.0
18510.0
14% OFF
-
OFFER
Godel, Escher, Bach: An Eternal Golden Braid, 20th Anniversary Edition
Douglas R. Hofstadter
Starts At
813.0
1099.0
26% OFF
-
OFFER
Designing Concurrent, Distributed, and Real-Time Applications with UML
Hassan Gomaa
Starts At
6079.0
7999.0
24% OFF
-
OFFER
Artificial Life V: Proceedings of the Fifth International Workshop on the Synthesis and Simulation of Living Systems (Complex Adaptive Systems)
Christopher G. Langton
Starts At
6602.0
7677.0
14% OFF
