Поисковый запрос: (<.>S=Логическое программирование<.>) |
Общее количество найденных документов : 14
Показаны документы с 1 по 10 |
|
1.
| Logic programming/Ed. by A. Voronkov. - 1992
|
2.
| Nonclassical logics and information processing/ed.: David Pearce, Heinrich Wansing. - 1992
|
3.
| Extensions logic programming/Ed.: L.-H. Eriksson et al. - 1992
|
4.
| Symposium on logic in computer science (6; 1991; Amsterdam).Sixth annual IEEE symposium on logic in computer science. - 1991
|
5.
| Логические методы в информатике/Рос. акад. наук. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - 1993
|
6.
| Логика и семантическое программирование/Рос. акад. наук, Сиб. отд-ние, Ин-т математики. - 1992
|
7.
| Symposium on logic in computer science (7; 1992; Santa Cruz, California.).Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992. - 1992
|
8.
| Algebraic logic and universal algebra in computer science/Ed. by C. H. Bergman et al. - 1990
|
9.
| COLOG-88/Ed. by P. Martin-Lof, G. Mints. - 1990
|
10.
| Algebraic and logic programming/Ed. by J. Grabowski et al.. - 1988
|
|
|