Mostra i principali dati dell'item

Математическая логика в программировании [Сборник переводов статей]

dc.contributor.authorЗахарьящев М.В., Янов Ю.И. (ред)
dc.date.accessioned2016-02-21T21:08:33Z
dc.date.available2016-02-21T21:08:33Z
dc.date.issued1991
dc.identifier.isbn5-03-001635-X
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/38232
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.aich24REVFJ4IXKXUEPO4BXMU5W2ELUD7MEI
dc.identifier.crc325E123E1F
dc.identifier.doi
dc.identifier.edonkey9435A175DE13154F490C092DAD920280
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk681.3
dc.identifier.bbk32.973
dc.identifier.libgenid595
dc.identifier.md53067A485EB3FA8FEE88239C07C3DA529
dc.identifier.sha1VM2XO2MYXMPFQ5Q2ES2UIS6CNOSDH6B3
dc.identifier.tthSJC4CHQ32ENKAH5FHEQ5HQ3QJXASVSBMT3ALNOI


Files in questo item

Thumbnail
Name:
3067a485eb3fa8fee88239c07c3da5 ...
Dimensione:
5.641Mb
Formato:
Sconosciuto
Mostra/Apri

Questo item appare nelle seguenti collezioni

Mostra i principali dati dell'item