Logic for Programming, Artificial Intelligence, and Reasoning 비슷한 책 더 보기

Automated Deduction – CADE 26 Automated Deduction – CADE 26
Automated Deduction – CADE 26
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2020년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018년
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2019년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017년
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2018년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018년
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2015년