Normal view MARC view ISBD view

First-order logic and automated theorem proving

By: Fitting, MelvinContributor(s): Language: English Series: Publication details: ; New York : Springer-Verlag, 1996 ; 1996Edition: 2nd edDescription: xvi,326 p; 24 cmISBN: 0-387-94593-86Subject(s): | Automatic theorem proving | Logic, Symbolic and mathematical

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode	Item holds
Books	Central Library, IITB	681.3:517.1 Fit(2)	Available	G54A09		181910

Total holds: 0

There are no comments on this title.

to post a comment.