Normal view MARC view ISBD view

Truth, Deduction and Computation: logic and semiantics for computer science

By:

Material type: Text

TextPublication details: New York: Computer Science Press ,1989.Edition: NADescription: xiv,369p. NA PhotocopyISBN:

Subject(s):

DDC classification:

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	Collection	Call number	Status	Date due	Barcode
Books	UITU Library	Computer Science	005.13 DAV (Browse shelf(Opens below))	Available		Q3866

Previous		No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.123 BIS Advances in swarm intelligence: variations and adaptations for optimization problems	005.13 ARC XML Developer's Guide	005.13 BAY Commercial Application Development Using Oracle Developer 2000 for MS 5.0	005.13 DAV Truth, Deduction and Computation: logic and semiantics for computer science	005.13 DIG Screen Management Guidelines	005.13 ELF Microcomputer Assembly Language Programming	005.13 GAL The C Odyssey OS/Two and PM into infinite worlds	Next

Includes Index

There are no comments on this title.

to post a comment.