書誌事項

Logic for computer science

Steve Reeves, Michael Clarke

(International computer science series)

Addison-Wesley, c1990

大学図書館所蔵 件 / 23

この図書・雑誌をさがす

注記

Bibliography: p. 255-256

Includes index

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

詳細情報

ページトップへ