Logic-Based Program Synthesis and Transformation Michael Hanus의 도서 더 보기
Practical Aspects of Declarative Languages
2023년
Functional and Logic Programming
2022년
Declarative Programming and Knowledge Management
2018년
Declarative Programming and Knowledge Management
2014년
Practical Aspects of Declarative Languages
2006년
Applications of Declarative Programming and Knowledge Management
2009년