Wyniki wyszukiwania dla: Bern Martens
Lecture Notes in Computer Science > Logic Programming > 114-139
Lecture Notes in Computer Science > Partial Evaluation > 263-283
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 152-166
The Journal of Logic Programming > 1996 > 28 > 2 > 89-146
The Journal of Logic Programming > 1995 > 22 > 1 > 47-99