Computability theory,semantics,and logic programming

By:

Material type: Text

TextLanguage: English Series: Oxford logic guides, 13Publication details: N Y O U P 1987Description: xi,198pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	005.115 F547 (Browse shelf(Opens below))	Available		110069

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available		No cover image available		No cover image available	Next
Previous	005.115 B875 Logic programming : new frontiers	005.115 D438 Treshold logic : a synthesis approach	005.115 D438 Treshold logic : a synthesis approach	005.115 F547 Computability theory,semantics,and logic programming	005.115 H737 Foundation of equational logic programming	005.115 J19 Conclog : a methodological approach to concurrent logic programming	005.115 M665 Foundations of deductive databases and logic programming	Next

There are no comments on this title.

to post a comment.