Automation in language translation and theorem proving : some applications of mathematical logic
著者
書誌事項
Automation in language translation and theorem proving : some applications of mathematical logic
Commission of the European Communities, Directorate-General for Dissemination of Information, 1968
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"EUR 4038 e"
Includes bibliographies