Logic In Computer Science: Modelling and Reasoning about Systems

By:

Language: English Publication details: UK:Cambridge University Press; 2004Description: 427 pISBN:

Subject(s):

DDC classification:

Item type:

Refrence Book

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Barcode
Refrence Book	UCSC Library Reference Section	UCSC Library Reference Section	Reference Collection	005.115 H87 (Browse shelf(Opens below))	Available	A23028
Lending Book	UCSC Library Lending Section	UCSC Library Lending Section	Lending Collection	005.115 H87 (Browse shelf(Opens below))	Available	A23029
Lending Book	UCSC Library Lending Section	UCSC Library Lending Section	Lending Collection	005.115 H87 (Browse shelf(Opens below))	Available	A23030
Lending Book	UCSC Library Lending Section	UCSC Library Lending Section	Lending Collection	005.115 H87 (Browse shelf(Opens below))	Available	A23031
Lending Book	UCSC Library Lending Section	UCSC Library Lending Section	Lending Collection	005.115 H87 (Browse shelf(Opens below))	Available	A23032

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 C52 Logic Programming : Lecture Notes in Computer Science:proceedings	005.115 C58 PROLOG PROGRAMMING IN DEPTH	005.115 D26 A GRAMMATICAL VIEW OF LOGIC PROGRAMMING	005.115 H87 Logic In Computer Science: Modelling and Reasoning about Systems	005.115 K55 PROLOG THROUGH EXAMPLES : A PRACTICAL PROGRAMMING GUIDE	005.115 L53 LOGIC PROGRAMMING : Proceedings of the 1999 International Conference on Logic Programming	005.115 L53 LOGIC PROGRAMMING :Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming	Next

There are no comments on this title.

to post a comment.