PROOF THEORY AND AUTOMATES DEDUCTION
By: Goubault-Larrec,Jean.
Contributor(s): Mackie,Ian.
Material type: BookSeries: Applied Logic Series. Publisher: Kluwer Academic Publishers, Dordrecht 1997Description: xv,424.ISBN: 0792345932.Subject(s): Proof Theory | Automated Theorem ProvingDDC classification: 511.3 | G72PItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 G72P (Browse shelf) | Available | A127634 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
511.3 F564P PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS | 511.3 F989 FUZZY AUTOMATA AND DECISION PROCESSES | 511.3 G431aE ALGEBRAIC LOGIC | 511.3 G72P PROOF THEORY AND AUTOMATES DEDUCTION | 511.3 H191 HANDBOOK OF MATHEMATICAL LOGIC | 511.3 H191a Handbook of spatial logics | 511.3 H191G HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE |
There are no comments for this item.