|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1963 |
1. |
В. А. Матулис, “О вариантах классического исчисления предикатов с единственным деревом вывода”, Докл. АН СССР, 148:4 (1963), 768–770 |
|
1962 |
2. |
В. А. Матулис, “Два варианта классического исчисления предикатов без структурных правил вывода”, Докл. АН СССР, 147:5 (1962), 1029–1031 |
|
|
|
1964 |
3. |
В. А. Матулис, “Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”
(ДАН, т. 147, № 5, 1962 г.)”, Докл. АН СССР, 158:3 (1964), 502 |
4. |
В. А. Матулис, “Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода”, УМН, 19:6(120) (1964), 239–241 |
|