Constraint Solving and Planning with Picat 비슷한 책 더 보기

Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
2009년
Principles and Practice of Constraint Programming - CP 2010 Principles and Practice of Constraint Programming - CP 2010
Principles and Practice of Constraint Programming - CP 2010
2010년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2018년
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2007년
Abstraction, Reformulation, and Approximation Abstraction, Reformulation, and Approximation
Abstraction, Reformulation, and Approximation
2007년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017년
Python Challenges Python Challenges
Python Challenges
2022년
Concrete Abstractions Concrete Abstractions
Concrete Abstractions
2023년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2016년
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2011년
Fundamental Problems in Computing Fundamental Problems in Computing
Fundamental Problems in Computing
2009년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2022년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2020년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017년