Язык описания логических систем для автоматического поиска доказательств : диссертация ... кандидата философских наук в форме науч. докл. : 09.00.07. Смирнов, Алексей Владимирович. Москва 1998. купить

Регистрация

Вход

Изготовление электронных копий любых изданий

	Автор: Смирнов, Алексей Владимирович
	Книга ID: 194203 Язык описания логических систем для автоматического поиска доказательств : диссертация ... кандидата философских наук в форме науч. докл. : 09.00.07 Тематика, ключевые слова: Логика. Сведения об издании: Москва 1998 23 с. 20х15 см Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]