On completeness of SLDNF-resolution

Författare
Włodzimierz Drabent
Språk
Engelska
Förlag År Ort Om boken ISBN
1993 Sverige 17 sidor.