Logic Programming and Nonmonotonic Reasoning 비슷한 책 더 보기

Rules and Reasoning Rules and Reasoning
2022년
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2011년
Logic Programming Logic Programming
2009년
Frontiers of Combining Systems Frontiers of Combining Systems
2021년
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2007년
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011년
Frontiers of Combining Systems Frontiers of Combining Systems
2009년
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2019년
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011년
Theoretical Aspects of Computing – ICTAC 2020 Theoretical Aspects of Computing – ICTAC 2020
2020년
Automated Deduction – CADE 27 Automated Deduction – CADE 27
2019년
Functional and Logic Programming Functional and Logic Programming
2008년
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
2022년
Reasoning Web. Declarative Artificial Intelligence Reasoning Web. Declarative Artificial Intelligence
2020년
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
2021년