Deductive reasoning / Zohar Manna, Richard Waldinger
- 資料種別:
- 図書
- 出版情報:
- Reading, Mass. : Tokyo : Addison-Wesley, c1985
- 形態:
- xii, 618 p. ; 25 cm
- シリーズ名:
- Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1 <BA00040213>
- 著者名:
- ISBN:
- 9780201182606 [0201182602]
- 書誌ID:
- BA08001259
類似資料:
Addison-Wesley |
Prentice-Hall |
North-Holland |
E. Horwood, Distributor, Halsted Press |
McGraw-Hill |
Elsevier North Holland |
Harcourt, Brace & World |
Clarendon Press, Oxford University Press |
Springer-Verlag |
Łódź University Press, Jagiellonian University Press |