Chang, Chin-Liang,1937-
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Symbolic logic and mechanical theorem proving
by:
Chang, Chin-Liang,1937-; Lee, Richard Char-Tung, 1939-; Chang, Chin-Liang (1937-)
(Language materials, printed)
Subjects