[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2407 || Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
Kakas, Antonis C., Sadri, FaribaVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45628-7_10
File:
PDF, 353 KB
english, 2002