Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister

Extensions of Logic Programming - 1992 - Springer Berlin Heidelberg 1992 - Lecture Notes in Computer Science .

9783540471141


Computer Science