Normal view MARC view ISBD view

Logic for computer science foundations of automatic theorem proving

by Gallier, Jean H.
Publisher: New York Harper & Row 1986Edition: 1st ed.Description: xv, 511 p. 25 cm.ISBN: 0060422254.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
General Book Central Library, BUET
Circulation section
511.3/GAL/1986 (Browse shelf) 1 Available 75433

Includes bibliographies

There are no comments for this item.

Log in to your account to post a comment.