Computing in horn clause theories

By: Padawitz, PeterContributor(s): Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1988Edition: Description: xi,322 p; 24 cmISBN: 1Subject(s): | Logic programming | Horn clauses
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
517.1:681.3.06 Pad Available G10A18 152430
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha