Your search returned 2 results.

Sort
Results
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.

Parallel execution of logic programs : ICLP'91 pre-conference workshop proceedings, Paris, June 24, 1991 / edited by A. Beaumont and G. Gupta

by | .

Series: Lecture notes in computer science ; v.569Edition: Language: English Publication details: ; Berlin : Springer-Verlag, 1991 ; 1991Availability: Items available for loan: 1 Call number: 681.3.06 Par:91.

Pages

Powered by Koha