Show simple item record

dc.contributor.authorКовальски Р.
dc.date.accessioned2016-03-24T08:23:39Z
dc.date.available2016-03-24T08:23:39Z
dc.date.issued1990
dc.identifier.isbn5-02-014148-8
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/71124
dc.description.abstractИзложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleЛогика в решении проблем
dc.typeother
dc.identifier.aichLAHJHSNEL674PB3TOS6JOEXEK6YXTGKY
dc.identifier.crc32412D5C17
dc.identifier.doi
dc.identifier.edonkey3DA8EB8C2F7E851CD6B490960BB03204
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1241961
dc.identifier.md5b5dd236be5cb472fbec4161788b786e5
dc.identifier.sha1DJB6XPSNTCIZTI2P4USADJZXN7IRSJGV
dc.identifier.tthQI3T44AEN3KVPU5XUBHX5MBSL7PXRLQKJFMLTXI


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record