Logic for computer scientists

書誌事項

Logic for computer scientists

Uwe Schöning

(Modern Birkhäuser classics)

Birkhäuser, c2008

タイトル別名

Logik für Informatiker

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

"Reprint of the 1989 edition"

"English hardcover edition originally published as volume 8 in the series Progress in computer science and appplied logic"

Bibliography: p. 155-159

Includes index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ