Logic for Programming, Artificial Intelligence, and Reasoning More Books Like This
Automated Deduction – CADE 26
2017
Logic-Based Program Synthesis and Transformation
2020
Programming Languages and Systems
2018
Frontiers of Combining Systems
2019
Programming Languages and Systems
2016
Programming Languages and Systems
2017
Theoretical Aspects of Computing – ICTAC 2016
2016
Computer Aided Verification
2016
Functional and Logic Programming
2018
Logic-Based Program Synthesis and Transformation
2018
Theoretical Aspects of Computing – ICTAC 2017
2017
Logic-Based Program Synthesis and Transformation
2015
Logic-Based Program Synthesis and Transformation
2019
Programming Languages and Systems
2016
Automated Technology for Verification and Analysis
2015