Symbolic logic mechanical theorem proving

Symbolic logic mechanical theorem proving

Saved in:
Bibliographic Details
Main Author: Chang, Chin-Liang
Other Authors: Lee, Richard Char-Tung
Format: Book
Language:English
Published: Orlando : Academic Press , 1973
Series:A series of monographs and textbooks edited by Werner Rheinboldt
Subjects:
Computer architecture
Computer mathematics
Mathematics
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xiii, 308 p.
Bibliography:Bibliography: p. 309-31 includes index.
ISBN:0121703509

Similar Items