Персоналии: Тищенко С И

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Тищенко С И

кандидат технических наук

	Публикации в базе данных 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

Обратная связь: