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

書目詳細資料
主要作者:	Чень Ч.
其他作者:	Ли Р. (730), Давыдов Г. В. (340), Минец Е. Г., Сочилиная А. В., Маслов С. Ю.
出版:	Москва, Наука, 1983
叢編:	Математическая логика и основания математики
主題:	математика логика математические основы теоремы искусственный интеллект методы упражнения дедукция решение задач автоматизация
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=99222

實物特徵
實物描述:	360 с.

相似書籍