Propositional logic : deduction and algorithms

著者
書誌事項

Propositional logic : deduction and algorithms

Hans Kleine Büning, Theodor Lettman

(Cambridge tracts in theoretical computer science, 48)

Cambridge University Press, 1999

この図書・雑誌をさがす
注記

Includes bibliographical references (p. 385-402) and index

First published in German by B.G.Teubner in 1994

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ