Вы здесь

Martelli M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 2001 Bozzano M., Delzanno G., Martelli M. Lecture Notes in Computer Science 06.04.2001
СТ Multi-agent Systems Development as a Software Engineering Enterprise 1999 Bozzano M., Delzanno G., Martelli M., Mascardi V., Zini F. Lecture Notes in Computer Science 16.02.1999
СТ A Linear Logic Calculus of Objects 1996 Bugliesi M., Delzanno G., Liquori L., Martelli M. Logic Programming 12.03.1998
СТ Objects in Forum 1995 Delzanno G., Martelli M. Logic Programming: Proc. of the Intern. Symp. 24.04.1996
СТ CLP(AD) as a Deductive Database Language with Updates 1992 Bertino E., Martelli M., Montesi D. Lecture Notes in Artificial Intelligence 06.04.1993
СТ Negation as Instantiation: A new Rule for the Treatment of Negation in Logic Programming 1991 Di Pierro A., Martelli M., Palamidessi C. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Failure and Success made Symmetric 1990 Levi G., Martelli M., Palamidessi C. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ A New Declarative Semantics for Logic Languages 1988 Falaschi M., Levi G., Martelli M., Palamidessi C. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994