| Индекс УДК | 510.6+519.85 |
|
Математическая логика в программировании Текст сборник статей : пер. с англ. под ред.: М. В. Захарьящева, Ю. И. Янова |
|
| Место издания | Москва |
| Издательство | Мир |
| Дата издания оригинала | 1991 |
| Объем | 407, [1] с. |
| Аннотация | В сборнике содержатся работы, отражающие новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. |
| Другие авторы | Скотт, Д. С. |
