Completeness, confluence and related properties of clause graph resolution

By: Eisinger, NorbertContributor(s): Language: English Series: Publication details: ; London : Pitman, 1991 ; 1991Edition: Description: 181 p; 24 cmISBN: 0-273-08840-80Subject(s): | Artificial intelligence | Graph theory
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
Compact Storage - Basement Area 		681.342:518.4 Eis Available C20A12 165978
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha