Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2020년
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
2011년