V. A. Matulis, “The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction”, Uspekhi Mat. Nauk, 1964, Volume 19, Issue 6(120),Pages <nobr>239

JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 1964 Volume 19, Issue 6(120), Pages 239–241 (Mi rm6294)

Mathematical Events in the USSR

The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction

V. A. Matulis