Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
著者
書誌事項
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Наука, 1965
- タイトル別名
-
Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
At head of title: Академия Наук СССР, Математический институт им. В.А. Стеклова, Ленинградское отделение
