|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1993 |
1. |
С. И. Тищенко, “Дедуктивный вывод с использованием необходимых и достаточных условий выводимости в исчислении предикатов первого порядка”, Автомат. и телемех., 1993, № 9, 136–153 ; S. I. Tishchenko, “Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus”, Autom. Remote Control, 54:9 (1993), 1416–1430 |
|