Логическое программирование. сборник статей
Агафонов В.Н. (ред.)
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р.Ковальский (Великобритания). Для математиков-прикладников, программистов, аспирантов и студентов университетов.
カテゴリー:
年:
1988
出版社:
Мир
言語:
russian
ページ:
367
ISBN 10:
5030009728
ISBN 13:
9785030009728
シリーズ:
Математическое обеспечение ЭВМ
ファイル:
DJVU, 3.49 MB
IPFS:
,
russian, 1988
Litres
あなたの書店を追加したいですか？support@z-lib.fmまでお問い合わせください。
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/12f7c4750dee23f7a7bf1b440548b4f6e5455def17f1dd1231945895c03de9ff.jpg)
