Automated Model Building

Name: Automated Model Building
Author: Ricardo Caferra

No description available.

Automatic theorem provingLogic, symbolic and mathematicalLogicPhilosophyPhilosophy (General)Symbolic and mathematical LogicMathematical Logic and Foundations