0
0
Coperta cărții "The Automation of Reasoning" de autor necunoscut

The Automation of Reasoning

75.56 LEI
83.95 LEI
-10%
In Stock
0.0 (0 Reviews)
Add to Wishlist
Description

This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been called the most powerful general-purpose program for automated reasoning available: Bill McCune's OTTER.

The remarkable automated reasoning program is included (on diskette) with the text to allow hands-on understanding of the author's imparted knowledge.

Also included within the text are detailed guidelines for using the program, which can be of great assistance in deductive reasoning.

The text covers, in depth, how research is actually conducted using an automated reasoning program and based on the author's thirty years of work in the field, and also offers new results in mathematics and in logic that have never before appeared in print.

Details
  • ISBN: 9780127634203
Sold By: Prior Books Total Items: 86171

Related Products

-10%
product img
Add To Cart
Comprehensive Organic Chemistry
315 LEI
350 LEI
0.0 (0)
-10%
product img
Add To Cart
Comprehensive Organic Chemistry, Volume 3
400.50 LEI
445 LEI
0.0 (0)
-10%
product img
Add To Cart
Comprehensive Organic Chemistry, Volume 4
400.50 LEI
445 LEI
0.0 (0)
-10%
product img
Add To Cart
Comprehensive Organic Chemistry, Volume 6
400.50 LEI
445 LEI
0.0 (0)
-10%
product img
Add To Cart
Alkali Metal and Ammonium Chlorides in Water and H...
61.16 LEI
67.95 LEI
0.0 (0)
-10%
product img
Add To Cart
Comprehensive Biotechnology
1,566 LEI
1,740 LEI
0.0 (0)
-10%
product img
Add To Cart
Copper and Silver Halates
46.76 LEI
51.95 LEI
0.0 (0)
-10%
product img
Add To Cart
The Encyclopedia of Human Development and Educatio...
49.46 LEI
54.95 LEI
0.0 (0)
-10%
product img
Add To Cart
International Encyclopedia of Educational Technolo...
49.46 LEI
54.95 LEI
0.0 (0)
-10%
product img
Add To Cart
Towards Holistic Agriculture
49.46 LEI
54.95 LEI
0.0 (0)
-10%
product img
Add To Cart
Cycloaddition Reactions in Organic Synthesis
49.46 LEI
54.95 LEI
0.0 (0)
-10%
product img
Add To Cart
Concise Encyclopedia of Magnetic and Superconducti...
180 LEI
200 LEI
0.0 (0)
Ratings
to add a review
Reviews

  • No Review Found