Manipur University Library › Details for: Logic for Computer Science: Foundations of Automatic theorem proving /

Normal view MARC view ISBD view

Logic for Computer Science: Foundations of Automatic theorem proving /

By: Gallier, Jean HMaterial type: Text

TextLanguage: English Publication details: New York 10158 : John Wiley & Sons, Inc. , 1982Description: xiii,511pISBN: 0 471 61546 3Subject(s): Mathematical symbolicColon classification: BV

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Item type	Current library	Call number	Status	Date due	Barcode
Books	Central Library Manipur University	BV M7;1 (Browse shelf (Opens below))	Available		1560/Comp

Browsing Central Library Manipur University shelves, Shelving location: MANI-795003 Close shelf browser (Hides shelf browser)

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	No cover image available No cover image available		Next
Previous	Bv M7 Concise history of mathematics /	BV M7 Fundamentals of computer science /	Bv M7.1 Fundamental Algorithms /	BV M7;1 Logic for Computer Science: Foundations of Automatic theorem proving /	BV M7;1 Computer and data processing with Basic /	Bv M7;1 Hard disk manager /	Bv M7;1 COMPUTER PROGRAMMING IN PASCAL /	Next

There are no comments on this title.

to post a comment.