Ricardo Caferra · 4 obras en el catálogoObrasAutomated Model BuildingLLogic 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 Logics
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
