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:
Tags: Add Tag
No Tags, Be the first to tag this record!