| dc.contributor.author | Захарьящев М.В., Янов Ю.И. (ред) | |
| dc.date.accessioned | 2016-02-22T08:41:09Z | |
| dc.date.available | 2016-02-22T08:41:09Z | |
| dc.date.issued | 1991 | |
| dc.identifier.isbn | 5-03-001635-X | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/50646 | |
| 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 | RJPH47TQNBYL7ELPWZUMZF7UNT35GP54 | |
| dc.identifier.crc32 | 7E8A04AC | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | 25FBE0A713A730A4195041D4A7B514C8 | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | 681.3 | |
| dc.identifier.bbk | 32.973 | |
| dc.identifier.libgenid | 44847 | |
| dc.identifier.md5 | 6F9476098A3FEBFCA3A46888F0CA0E39 | |
| dc.identifier.sha1 | QDVYSSL6ZN25ZV6JDASR6ZEE6AHJXF7H | |
| dc.identifier.tth | MERJSE2RZPHLD2ADRXHTSK3GSAZXLMFEJVDS2XI | |
