First-order logic and automated theorem proving

By: Fitting, MelvinContributor(s): Language: English Series: Publication details: ; New York, Springer-Verlag, ; 1990Edition: Description: xiii,242 p; 23 cmISBN: 0-387-97233-124Subject(s): | Automatic theorem proving , Logic, Symbolic and mathematical
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3:517.1 Fit Available G54A09 158406
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha