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

Регистрация

Вход

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

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