Вы здесь

Demri S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Parametric Analysis of the State Explosion Problem in Model Checking 2002 Demri S., Laroussinie F., Schnoebelen P. Lecture Notes in Computer Science 30.03.2002
СТ Using Connection Method in Modal Logics: Some Advantages 1995 Demri S. Lecture Notes in Artificial Intelligence 02.06.1995
СТ Efficient Strategies for Automated Reasoning in Modal Logics 1994 Demri S. Lecture Notes in Artificial Intelligence 28.10.1994