Вы здесь

Herzig A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Conditional Logic for Updating in the Possible Models Approach 1994 Del Cerro L. F., Herzig A. Lecture Notes in Artificial Intelligence 21.10.1994
СТ Metaprogramming through Intensional Deduction: Some Examples 1992 Del Cerro L. F., Herzig A. Lecture Notes in Computer Science 03.02.1993
СТ Translation-Based Deduction Methods for Modal Logics 1995 Gasquet O., Herzig A. Lecture Notes in Computer Science Advances in Intelligent Computing - IPMU 94 26.09.1995