Chin-Liang Chang
1 book
About the Author
Chin-Liang Chang is an author and scholar associated with rigorous explorations of symbolic logic, automated reasoning, and the foundations of computer science. Through Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics), he presents complex ideas with mathematical precision and practical relevance, helping readers understand how formal systems can support mechanical deduction. His work will appeal to students, researchers, and technically minded readers interested in logic, computation, and problem-solving.
Common genres
Writing style
rigorous
systematic
explanatory
Books by Chin-Liang Chang
