Authors: Chin-Liang Chang

  • Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) — Chin-Liang Chang

    Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) — Chin-Liang Chang