Loop checking in logic programming

R.N. Bol
Bok · Engelsk · 1995

Utgitt	Amsterdam : Centrum voor Wiskunde en Informatica , c1995
Omfang	198 s. : fig.
Emner	Logikkprogrammering
ISBN	9061964563