Providing iteration and concurrency in logic programs through bounded quantifications

Författare
Jonas Barklund
(Jonas Barklund, Håkan Millroth)
Språk
Engelska
Förlag År Ort Om boken ISBN
1992 Sverige, Uppsala 9 sidor.