Logic for computer science : foundations of automatic theorem proving
著者
書誌事項
Logic for computer science : foundations of automatic theorem proving
(Dover books on mathematics)
Dover Publications, 2015
2nd ed
- : pbk.
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する