Home / Authors / Chin-Liang Chang, Richard Char-Tung Lee

Books by Chin-Liang Chang, Richard Char-Tung Lee

All books by this author

2 books found
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Symbolic Logic and Mechanical Theorem Proving (Computer Sci…
By: Chin-Liang Chang, Richard Char-Tung Lee
View Details
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
By: Chin-Liang Chang, Richard Char-Tung Lee
View Details