Математическая логика и автоматическое доказательство теорем: пер. с англ.

Бібліографічні деталі
Автор:	Чень Ч.
Інші автори:	Ли Р. (переводчик), Давыдов Г. В. (редактор), Минец Е. Г., Сочилиная А. В., Маслов С. Ю.
Мова:	Російська
Опубліковано:	Москва, Наука, 1983
Серія:	Математическая логика и основания математики
Предмети:	математика логика математические основы теоремы искусственный интеллект методы упражнения дедукция решение задач автоматизация
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=99222

Схожі ресурси