Declarative Programming and Knowledge Management 비슷한 책 더 보기
Declarative Programming and Knowledge Management
2020년
Practical Aspects of Declarative Languages
2023년
Rules and Reasoning
2017년
Logic-Based Program Synthesis and Transformation
2018년
Logic-Based Program Synthesis and Transformation
2020년
Integrated Formal Methods
2020년
Programming Languages and Systems
2017년
Logic-Based Program Synthesis and Transformation
2015년
Tools and Algorithms for the Construction and Analysis of Systems
2018년
Logic-Based Program Synthesis and Transformation
2017년
Verification, Model Checking, and Abstract Interpretation
2015년
Practical Aspects of Declarative Languages
2006년
Logic Programming and Nonmonotonic Reasoning
2015년
Static Analysis
2017년
Practical Aspects of Declarative Languages
2010년