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)
In stock (1 available)
SKU SHUB85197
$61.30
Free Shipping within the US
Est. Date: Jan 8, 2026

BRAND NEW. Softcover.

  • Author(s): Jochen Pfalzgraf~dongming Wang
  • Publisher: Springer Verlag
  • Language: en
  • Pages: 223
  • Binding: Paperback
  • Published: 1995
  • Dimensions: Height: 9.5 Inches, Length: 6.5 Inches, Weight: 1 Pounds, Width: 0.5 Inches
  • Estimated Delivery: Jan 8, 2026
Customer Reviews
0.0 (0 reviews)
Login to Write Review
No Reviews Yet

Be the first to review this book!

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
  • $48.95
  • Est. Date: Jan 8, 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
  • $49.46
  • Est. Date: Jan 8, 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

  • $48.44
  • Est. Date: Jan 8, 2026
An Introduction to Theory and Reasoning in Nursing

An Introduction to Theory and Reasoning in Nursing

  • $42.34
  • Est. Date: Jan 8, 2026
View All Books in AUTOMATIC THEOREM PROVING