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を表示
言語 英語
原文言語 ドイツ語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想