※一部利用できない機能があります
Symbolic logic and mechanical theorem proving
- 資料区分:
- 図書
- 責任表示:
- Chin-Liang Chang, Richard Char-Tung Lee
- 言語:
- 英語
- 出版情報:
- New York : Academic Press, c1973
- 形態:
- xiii, 331 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Computer science and applied mathematics <BA00104316>
- 書誌ID:
- BA01082514
- ISBN:
- 9780121703509 [0121703509]
類似資料:
日本コンピュータ協会 | |
University Microfilms International |
Croom Helm |
University Microfilms International |
Routledge and K. Paul, Princeton University Press |
Foris Publications |
International Wing Tsun Martial-Art Association, International Headquarters |
Routledge |
Human Kinetics |
Springer-Verlag |
Human Kinetics |