Hardcover Book
Show unavailable items

Releases by Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)

Cover for Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) · Symbolic Logic and Mechanical Theorem Proving (Hardcover Book) (1997)

Symbolic Logic and Mechanical Th... (1997)

Chang, Chin-Liang (Lockheed Miss...