※一部利用できない機能があります
Automated practical reasoning : algebraic approaches
- フォーマット:
- 図書
- 責任表示:
- Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
- 言語:
- 英語
- 出版情報:
- Wien ; New York : Springer-Verlag, c1995
- 形態:
- xi, 223 p. ; 25 cm
- 著者名:
- シリーズ名:
- Texts and monographs in symbolic computation <BA20803475>
- 書誌ID:
- BA24680275
- ISBN:
- 9783211826003 [3211826009] (: au)
9780387826004 [0387826009] (: us)
類似資料:
Open Court |
Kluwer Academic |
Routledge |
Springer |
The MIT Press |
Academic Press |
Oxford University Press | |
Macmillan |
E.J. Brill |
Kluwer Academic |
North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland |