- ECU Libraries Catalog

Start Over

You searched for: author_facet Chang, Chin-Liang

Showing 1 - 2 of 2 results

Search Results

Cover image for Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang, 1937-
1987
Format: Electronic

Location
Access Content Online

Cover image for Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang, 1937-
1973
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9 .C483	✔ Available