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

Books by Chin-Liang Chang, Richard Char Lee

All books by this author

1 book found ← Back to Search
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
🇩🇪 Germany
Symbolic Logic and Mechanical Theorem Proving (Computer Sci…
By: Chin-Liang Chang, Richard Char Lee
View Details