Chin-Liang Chang profile picture

Chin-Liang Chang

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Symbolic logic and mechanical theorem proving
Fuzzy-logic-based Programming
Introduction to Artificial Intelligence Techniques
Verification and Validation of Expert Systems Seventh National Conference on Artificial Intelligence, Tutorial Program, Sunday, August 21, 1988, 2pm-6pm
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving