Automatic theorem proving based on resolution
著者
書誌事項
Automatic theorem proving based on resolution
（Annual review in automatic programming, Vol. 7,
Pergamon Press, c1973
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
Automatic theorem proving based on resolution
（Annual review in automatic programming, Vol. 7,
Pergamon Press, c1973