dc.contributor.author | Тейз А., Грибомон П., Луи Ж. и др. | |
dc.date.accessioned | 2016-02-21T20:31:13Z | |
dc.date.available | 2016-02-21T20:31:13Z | |
dc.date.issued | 1990 | |
dc.identifier.isbn | 5030016368,9785030016368 | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/37480 | |
dc.description.abstract | Монография специалистов из Бельгии и Швейцарии, излагающая проблемы н методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика н модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Кинга построена так, что для понимания материала от читателя требуется только знание основ информатики.Для всех изучающих и использующих методы искусственного интеллекта и логического программирования. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию | |
dc.type | other | |
dc.identifier.aich | 3ARVVATH23EPQJ3D6CJNRXPVVHDEWVNP | |
dc.identifier.crc32 | 5CE66E66 | |
dc.identifier.doi | | |
dc.identifier.edonkey | EED2E93A25ECA460847E522520318405 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | 681.3 | |
dc.identifier.bbk | 22.186 | |
dc.identifier.libgenid | 1220717 | |
dc.identifier.md5 | 2b4783baac209388b8bf08ef97c467eb | |
dc.identifier.sha1 | 2ADAMNQCVWL6HFUFHJEOF2OOF6QJMIJ3 | |
dc.identifier.tth | H4TB3LTHLWXAMNAM5SLU7FYRKADGOTIZJKWC76Y | |