Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-Tung Lee.
Material type: TextSeries: Computer science and applied mathematicsPublication details: New York, Academic Press [1973]Description: xiii, 331 p. illus. 24 cmSubject(s): DDC classification:- 511.3
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | North Eastern Hill University General Stacks | MATHEMATICS | 511.3 CHA (Browse shelf(Opens below)) | Available | 36608 |
Total holds: 0
Bibliography: p. 309-324.
There are no comments on this title.