004.42.047 A10 A 25-year perspective on logic programming [Electronic resource] : achievements of the Italian Association for Logic Programming, GULP / eds. A. Dovier, E. Pontelli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6125). - ISBN 978-3-642-14309-0 : Б. ц.
Кл.слова (ненормированные): программирование для эвм логическое -- итальянская ассоциация См. : Текст издания Доп.точки доступа: Dovier, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.42.047 B84 Bramer, M. Logic programming with prolog [Electronic resource] / M. Bramer. - Electronic text data. - London : [s. n.], 2005. - ISBN 1-84628-212-8 : Б. ц.
См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.42.047 B55 Bhattacharya, A. Parallel and distributed logic programming [Electronic resource] : towards the design of a framework for the next generation database machines / A. Bhattacharya, A. Konar, A. K. Mandal. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 24). - ISBN 978-3-540-33459-0 : Б. ц.
Параллельные вычисления Вычислительные системы распределенные См. : Текст издания Доп.точки доступа: Konar, A.; Mandal, A.K.; SpringerLink (Online service) Свободных экз. нет |
004.42.047 P93 Probabilistic inductive logic programming [Electronic resource] : theory and applications / eds. L. Raedt [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4911). - ISBN 978-3-540-78652-8 : Б. ц.
См. : Текст издания Доп.точки доступа: Raedt, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |