Revision, Acceptability and Context 비슷한 책 더 보기

Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009년
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
2010년
Fields of Logic and Computation Fields of Logic and Computation
Fields of Logic and Computation
2010년
Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2010년
Logic, Language, and Computation Logic, Language, and Computation
Logic, Language, and Computation
2011년
Computer Science Logic Computer Science Logic
Computer Science Logic
2010년
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2021년
Automated Reasoning Automated Reasoning
Automated Reasoning
2010년
Handbook of Automated Reasoning Handbook of Automated Reasoning
Handbook of Automated Reasoning
2001년
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2009년
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
2007년
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
2021년
Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2009년
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 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
Automated Deduction -- CADE-23
2011년