dc.contributor.author | Ковальски Р. | |
dc.date.accessioned | 2016-03-24T08:23:39Z | |
dc.date.available | 2016-03-24T08:23:39Z | |
dc.date.issued | 1990 | |
dc.identifier.isbn | 5-02-014148-8 | |
dc.identifier.issn | | |
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/71124 | |
dc.description.abstract | Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Логика в решении проблем | |
dc.type | other | |
dc.identifier.aich | LAHJHSNEL674PB3TOS6JOEXEK6YXTGKY | |
dc.identifier.crc32 | 412D5C17 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 3DA8EB8C2F7E851CD6B490960BB03204 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 1241961 | |
dc.identifier.md5 | b5dd236be5cb472fbec4161788b786e5 | |
dc.identifier.sha1 | DJB6XPSNTCIZTI2P4USADJZXN7IRSJGV | |
dc.identifier.tth | QI3T44AEN3KVPU5XUBHX5MBSL7PXRLQKJFMLTXI | |