logo
  • Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

0.0 (0 reviews) Write A Review
In stock (1 available)
SKU SHUB85197
$62.36
Free Shipping within the US
Est. Date: Feb 13, 2026
Overview

BRAND NEW. Softcover.

Product Details

ISBN-13: 9780387826004
ISBN-10: 0387826009
Publisher: Springer Verlag
Publication date: 1995
Pages: 223
Product dimensions: Height: 9.5 Inches, Length: 6.5 Inches, Weight: 1 Pounds, Width: 0.5 Inches
Author: Jochen Pfalzgraf~dongming Wang
Language: en
Binding: Paperback

Books Related to AUTOMATIC THEOREM PROVING

Discover more books in the same category

The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

  • $55
  • $50.40
  • Est. Date: Feb 13, 2026
Reasoning by Analogy and Causality: A Model and Application (Ellis Horwood Series in Artificial Intelligence)

Reasoning by Analogy and Causality: A Model and Application (Ellis Horwood Series in Artificial Intelligence)

  • $50.90
  • Est. Date: Feb 13, 2026
Current Issues And Enduring Questions: A Guide to Critical Thinking and Argument, with Readings

Current Issues And Enduring Questions: A Guide to Critical Thinking and Argument, with Readings

  • $49.89
  • Est. Date: Feb 13, 2026
An Introduction to Theory and Reasoning in Nursing

An Introduction to Theory and Reasoning in Nursing

  • $43.83
  • Est. Date: Feb 13, 2026
Thinking Things Through: Critical Thinking for Decisions You Can Live With

Thinking Things Through: Critical Thinking for Decisions You Can Live With

  • $63.22
  • Est. Date: Feb 13, 2026
View All Books in AUTOMATIC THEOREM PROVING

Customer Reviews

0.0 (0 reviews)
No Reviews Yet

Be the first to review this book!