Logic for computer science: foundations of automatic theorem proving by Jean H. Gallier

By:

Material type: Text

TextLanguage: English Series: Harper & Row computer science and technologyPublication details: New york John Wiley c 1987Description: xv, 511p. : IllISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	National Institute of Technology, Silchar	511.3 GAL (Browse shelf(Opens below))	Available		31035
Books	National Institute of Technology, Silchar	511.3 GAL (Browse shelf(Opens below))	Available		31036

Previous						No cover image available		Next
Previous	511.10285 TRE Discrete mathematical structures with applications to computer science	511.3 FUZ Fuzzy logic and expert systems applications	511.3 GAL Logic for computer science: foundations of automatic theorem proving	511.3 GAL Logic for computer science: foundations of automatic theorem proving	511.3 HAM Logic for mathematicians	511.3 KAL Topics in mathematical system theory	511.3 KHO Automata theory and its applications	Next

Includes index

There are no comments on this title.

to post a comment.