From logic design to logic programming : theorem proving techniques and P-functions

By: Snyers, DominiqueContributor(s): Thayse, Andre | Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1987Edition: Description: iv,125 p; 24 cmISBN: 3-540-18217-90Subject(s): | Logic programming | Logic design
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 		519.28:681.3.06 Sny Available C06A16 142560
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha