Logic for Programming, Artificial Intelligence, and Reasoning المزيد من الكتب المشابهة

Automated Deduction – CADE 26 Automated Deduction – CADE 26
Automated Deduction – CADE 26
٢٠١٧
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٢٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٨
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
٢٠١٩
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٦
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٧
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
٢٠١٦
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٦
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٨
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٨
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
٢٠١٧
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٥
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٩
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٦
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠١٥