|
|
Publications in Math-Net.Ru |
Citations |
|
1963 |
1. |
V. A. Matulis, “Variants of the classical predicate calculus with a unique tree of deduction”, Dokl. Akad. Nauk SSSR, 148:4 (1963), 768–770 |
|
1962 |
2. |
V. A. Matulis, “Two variants of the classical predicate calculus without structural inference rules”, Dokl. Akad. Nauk SSSR, 147:5 (1962), 1029–1031 |
|
|
|
1964 |
3. |
V. A. Matulis, “Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”
(ДАН, т. 147, № 5, 1962 г.)”, Dokl. Akad. Nauk SSSR, 158:3 (1964), 502 |
4. |
V. A. Matulis, “The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction”, Uspekhi Mat. Nauk, 19:6(120) (1964), 239–241 |
|