Normal view MARC view ISBD view

Логический подход к искусственному интеллекту, от классической логики к логическому программированию. Тей А., Грибомон Ж., Снийерс Д., Водон П., Гоше П. и др.

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Publication details: М. Мир 1990Description: 432 сDDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Institute of Mathematics	General	510.6 Л-69 (Browse shelf(Opens below))	Available		MAT6259 6258

Previous								Next
Previous	510.6 К-60 Введение в математическую логику.	510.6. Л-19 Доказательства и опровержения. Как доказываются теоремы.	510.6 Л-59 Заметки по логике.	510.6 Л-69 Логический подход к искусственному интеллекту, от классической логики к логическому программированию.	510.6 Л-84 Аристотелевская силлогистика с точки зрения современной формальной логики.	510.6 М-23 Доказуемое и недоказуемое.	510.6 М-34 Математическая теория логического вывода. Сборник переводов..	Next

There are no comments on this title.

to post a comment.