Logic for computer scientists
- 種類:
- 図書
- 責任表示:
- Uwe Schöning
- 出版情報:
- Boston : Birkhäuser, 1989
- 著者名:
- Schöning, Uwe, 1955- <DA00348962>
- シリーズ名:
- Progress in computer science and applied logic ; v. 8 <BA07712819>
- ISBN:
- 9780817634537 [0817634533] (: us)
9783764334536 [3764334533] (: gw) - 注記:
- Bibliography: p. 155-159
Includes index
類似資料:
MIT Press |
Clarendon Press, Oxford University Press |
Clarendon Press, Oxford University Press |
Springer |
Springer Verlag |
Prentice Hall |
Birkhäuser |
World Scientific |
Clarendon Press, Oxford University Press |
Addison-Wesley Pub. Co. |
Clarendon Press, Oxford University Press |
M. Dekker |