Normal view MARC view ISBD view

Truth,deduction and computation

By:

Material type: Text

TextPublication details: New York; Plenium; 1987Description: 357pSubject(s):

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	Call number	Status	Date due	Barcode	Item holds
Books	RGU Central Library	005.13 DAV-T (Browse shelf(Opens below))	Available		20223

Total holds: 0

Previous				No cover image available	No cover image available			Next
Previous	005.12 BAH-O Object oriented systems development :	005.12 BAH-O Object oriented systems development :	005.12 DAU-S Software design:	005.13 DAV-T Truth,deduction and computation	005.13 DIL-C Compiling functional languages	005.13 LAN-D Data structures using C & C++	005.13 LAN-D Data structures using C & C++	Next

There are no comments on this title.

to post a comment.