Clausal form logic : an introduction to the logic of computer reasoning
- 種類:
- 図書
- 責任表示:
- Tom Richards
- 出版情報:
- Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., c1989
- 著者名:
- Richards, Tom <DA03628648>
- シリーズ名:
- International computer science series <BA00203522>
- ISBN:
- 9780201129205 [0201129205]
- 注記:
- Includes bibliographies and index
類似資料:
Pitman, M. Kaufmann Publishers |
Clarendon Press, Oxford University Press |
Springer |
Cambridge University Press |
Cambridge University Press |
Springer-Verlag |
Springer Verlag |
Oxford University Press |
Clarendon Press, Oxford University Press |
MIT Press |
CSLI Publications, FoLLI |
Addison-Wesley |