Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли : пер. с англ. ; пер. Г. В. Давыдов, Е. Г. Минец и А. В. Сочилиная; под ред. С. Ю. Маслова

Main Author: Чень, Ч.Coauthor: Ли, Р.Secondary Author: Давыдов, Г. В.;Минец, Е. Г.;Сочилиная, А. В.;Маслов, С. Ю.Language: русский.Country: Россия.Publication: Москва : Наука, 1983Description: 360 с.Series: Математическая логика и основания математикиBibliography: Библиогр. в конце гл.; Алф. указ.: с. 350-358.; Библиогр.: с. 333-349..Subject: математика | логика | математические основы | теоремы | искусственный интеллект | методы | упражнения | дедукция | решение задач | автоматизация
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books НТБ ТПУ Научный фонд 83-7451 Available 13821000316213
Total holds: 0

Библиогр. в конце гл.

Алф. указ.: с. 350-358.

Библиогр.: с. 333-349.

There are no comments on this title.

to post a comment.