Loop checking in logic programming

Författare
Roland N. Bol
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1991 Nederländerna, Amsterdam 201 sidor.