Propositional logic : deduction and algorithms
- 種類:
- 図書
- 責任表示:
- Hans Kleine Büning, Theodor Lettman
- 出版情報:
- Cambridge : Cambridge University Press, 1999
- 著者名:
- シリーズ名:
- Cambridge tracts in theoretical computer science ; 48 <BA01121831>
- ISBN:
- 9780521630177 [0521630177]
- 注記:
- Bibliography
First published in German by B.G.Teubner in 1994
類似資料:
Clarendon Press, Oxford University Press |
Springer |
Addison-Wesley Pub. Co. |
Kluwer Academic |
Clarendon Press, Oxford University Press |
Elsevier |
Springer-Verlag |
11
![]() Springer Berlin Heidelberg : Imprint: Springer |
Cambridge University Press |
12
![]() Springer Berlin Heidelberg : Imprint: Springer |