First-order logic and automated theorem proving

By: Fitting, MelvinMaterial type: TextTextSeries: Graduate texts in computer science seriesPublication details: New York: Springer, 1996Edition: 2nd edDescription: xvi, 326 pISBN: 9781461275152Subject(s): Computation | Languages | Automata theoryDDC classification: 005.131 FIT
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Shelving location Call number Materials specified Status Date due Barcode
Engineering Books Presidency University Library
Non-Fiction Computer Science Engineering 005.131 FIT (Browse shelf(Opens below)) Available 34602

There are no comments on this title.

to post a comment.

© Copyright 2017 by Presidency University. All Rights Reserved.