Padawitz, P

Computing in horn clause theories

D6,8(B) M817

681.3 PAD
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha