Номер документа в системі: | 186340 |
Автор: | Хоггер К. |
Назва документа: | Введение в логическое программирование |
Видавництво: | Мир |
Місто видання: | Москва |
Рік видання: | 1988 |
УДК | 004.41 |
Мова документу | Російська |
Шифр документу | 681.3 |
Аннотація | Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программированияи их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студентов. |
Кількість сторінок | 348 с. |