Automated reasoning : essays in honor of Woody Bledsoe
著者
書誌事項
Automated reasoning : essays in honor of Woody Bledsoe
(Automated reasoning series, v. 1)
Kluwer Academic Publishers Group, c1991
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index