Show simple item record

dc.contributor.authorТейз А., Грибомон П., Луи Ж. и др.
dc.date.accessioned2016-03-23T19:35:06Z
dc.date.available2016-03-23T19:35:06Z
dc.date.issued1990
dc.identifier.isbn5030016368,9785030016368
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/64243
dc.description.abstractМонография специалистов из Бельгии и Швейцарии, излагающая проблемы н методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика н модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Кинга построена так, что для понимания материала от читателя требуется только знание основ информатики.Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.
dc.language.isoRussian
dc.publisherМир
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleЛогический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию
dc.typeother
dc.identifier.aichJ7VNUVLYARXF2OHGO72D6FP7NHHTVSSM
dc.identifier.crc325A75DDE3
dc.identifier.doi
dc.identifier.edonkeyD3A007276E3A1959010451FA3A6056D1
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk681.3
dc.identifier.bbk22.186
dc.identifier.libgenid707
dc.identifier.md5C652CA270A084C531A7D852ACA2F04A7
dc.identifier.sha1DFDUS762LBOZ7RYAPPZ3HKBN4I7KKGX6
dc.identifier.tthX7Q7JEFWC23T3MJXG7OPNV3QWE7ORKK7OKALY7Q


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record