Logic programming : operational semantics and proof theory

By: Andrews, James HContributor(s): Language: English Series: Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Edition: Description: xi,104 p; 24 cmISBN: 0-521-43219-72Subject(s): | Logic programming
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
681.3.06 And Available G54B38 166710
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha