Вы здесь

Dell Acqua P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semantical Properties of Encodings in Logic Programming 1995 Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ SLD-Resolution with Reflection 1994 Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. Logic Programming. Proc. of the 1994 Intern. Symp. 31.01.1996
СТ Reflective Agents in Metalogic Programming 1992 Constantini S., Dell Acqua P., Lanzarone G. A. Lecture Notes in Computer Science 03.02.1993
СТ Extending Horn Clause Theories by Reflection Principles 1994 Costantini S., Dell Acqua P., Lanzarone G. A. Lecture Notes in Artificial Intelligence 28.10.1994
СТ A Basis for a Multilevel Metalogic Programming Language 1994 Barklund J., Boberg K., Dell Acqua P. Lecture Notes in Computer Science 12.01.1995