Матулис Вилюс Алексович

Публикации в базе данных Math-Net.Ru

1. О вариантах классического исчисления предикатов с единственным деревом вывода
   
   Докл. АН СССР, 148:4 (1963),  768–770
2. Два варианта классического исчисления предикатов без структурных правил вывода
   
   Докл. АН СССР, 147:5 (1962),  1029–1031


3. Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода” (ДАН, т. 147, № 5, 1962 г.)
   
   Докл. АН СССР, 158:3 (1964),  502
4. Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода
   
   УМН, 19:6(120) (1964),  239–241