The Little Prover / by Friedman, Daniel P.
By: Friedman, Daniel P.
Contributor(s): Eastlund, Carl.
Material type: BookPublisher: London The MIT Press 2015Description: 229 23cm.ISBN: 9780262527958.Subject(s): Computer program language | LISP | CSE-ITDDC classification: 511.36028563Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | 511.36028563 FRI (Browse shelf) | Available | 001366 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
511.352 SIN Elements of computation theory | 511.352 WEB Computability theory | 511.36 LAK Proofs and refutations | 511.36028563 FRI The Little Prover | 511.36028563 GAL Logic for computer science | 511.36028563 GAL Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier | 511.36028563 GAL Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier |
English
There are no comments for this item.