|
Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
|
書名 |
Propositional logic : deduction and algorithms |
著作者等 |
Kleine Büning, Hans
Lettman, Theodor
|
シリーズ名 |
Cambridge tracts in theoretical computer science
|
出版元 |
Cambridge University Press |
刊行年月 |
1999 |
ページ数 |
x, 409 p. |
大きさ |
24 cm |
ISBN |
0521630177
|
NCID |
BA42595724
※クリックでCiNii Booksを表示
|
言語 |
英語 |
原文言語 |
ドイツ語 |
出版国 |
イギリス |
この本を:
|
件が連想されています
|