Показати скорочений опис матеріалу
Логика в решении проблем
| 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 |
Долучені файли
Даний матеріал зустрічається у наступних фондах
-
Libgen [81666]
