Logic for computer science Foundations of automatic theorem proving Gallier, Jean H.
By: Gallier, Jean H.
Material type: BookPublisher: New York Dover publication inc 1986Edition: 2nd.Description: 496 23cm.ISBN: 9780486780825.Subject(s): Logic, Symbolic and mathematical | Automatic theorem proving | Maths-StatisticsDDC classification: 511.36028563Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | 511.36028563 GAL (Browse shelf) | Available | 001280 |
Total holds: 0
English
There are no comments for this item.