Chin-Liang Chang

1937

• Symbolic logic and mechanical theorem proving
• Fuzzy-Logic-Based Programming (Advances in Fuzzy Systems--Applications and Theory, Vol 15)
• Introduction to artificial intelligence techniques