Automated Deduction in Nonclassical Logics

Artificial Intelligence Series

Automated Deduction in Nonclassical Logics

Efficient Matrix Proof Methods for Modal and Intuitionistic Logics

by Lincoln A. Wallen

7 x 9 in,

  • Hardcover
  • 9780262231442
  • Published: December 18, 1989
  • Publisher: The MIT Press

$45.00

Out of print

Other Retailers:

Related Books

The Age of Prediction
Probabilistic Machine Learning
Fairness and Machine Learning
Biological Intelligence for Biomimetic Robots
Distributional Reinforcement Learning
Understanding Deep Learning
The Developmental Organization of Robot Behavior
Neurorobotics
Microprediction
Awkward Intelligence