Your search returned 2 results.

Sort
Results
Deduction and declarative programming

by Padawitz, Peter | .

Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Pad.

Computing in horn clause theories

by Padawitz, Peter | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1988Availability: Items available for loan: 1 Call number: 517.1:681.3.06 Pad.

Pages

Powered by Koha