Вы здесь

Holldobler S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Foundations of Equational Logic Programming 1989 Holldobler S. Lecture Notes in Artificial Intelligence 17.05.2002
СТ An Abstract Machine for Reasoning about Situations, Actions, and Causality 1996 Eder K., Holldobler S., Thielscher M. Lecture Notes in Artificial Intelligence 17.04.1996
СТ From Paramodulation to Narrowing 1988 Holldobler S. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 30.09.1994
СТ Actions and Specificity 1993 Holldobler S., Thielscher M. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994