Proving run-time properties of logic programs

Författare
Wlodzimierz Drabent
(Drabent Wlodzimierz, Jan Maluszynski.)
Språk
Engelska
Förlag År Ort Om boken ISBN
1986 Sverige 20 sidor.