| dc.contributor.author | Ковальски Р. | |
| dc.date.accessioned | 2016-02-21T13:12:21Z | |
| dc.date.available | 2016-02-21T13:12:21Z | |
| dc.date.issued | 1990 | |
| dc.identifier.isbn | 5-02-014148-8 | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/28615 | |
| 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 | PVM4MINKGXF2AWZGZ623FNYKDH6FL5NS | |
| dc.identifier.crc32 | 112D1A6B | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | 2629AF5231E36B326709E9F3D0D3A6F7 | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 694 | |
| dc.identifier.md5 | 02C99D4AAF3E25039F5A2191D9F6D2A8 | |
| dc.identifier.sha1 | WP3WUXMKDLSK2WXBMTTVGIV6WMIEPCN6 | |
| dc.identifier.tth | AFPVBNL3WPMLHLISEGMOHFDBCNMOGIU2LNPX2QI | |
