Automated Model Buildingde Ricardo CaferraMateriasAutomatic theorem provingLogic, symbolic and mathematicalLogicPhilosophyPhilosophy (General)Symbolic and mathematical LogicMathematical Logic and FoundationsEdiciones (1)Automated Model Building (2010)Springer · ISBN 9789048166961Más obras de Ricardo CaferraLLogic for Computer Science and Artificial IntelligenceLogic for Computer Science and Artificial IntelligenceAutomated Model BuildingAAutomated Deduction in Classical and Non-Classical LogicsAutomated Deduction in Classical and Non-Classical LogicsVer todas las obras de Ricardo Caferra →
LLogic for Computer Science and Artificial IntelligenceLogic for Computer Science and Artificial Intelligence
AAutomated Deduction in Classical and Non-Classical LogicsAutomated Deduction in Classical and Non-Classical Logics
