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]
類似資料:
Springer-Verlag |
F. Vieweg |
日本コンピュータ協会 |
Springer |
Pitman, Wiley |
North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland |
Springer |
Clarendon Press |
Wiley |
Clarendon Press, Oxford University Press |
Springer-Verlag |
Springer-Verlag |