Вы здесь

Главная

Van Der Meyden R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Top-Down Considerations on Distributed Computing 1998 Van Der Meyden R., Moses Y. Lecture Notes in Computer Science 13.11.1998
СТ Synthesis from Knowledge-Based Specifications 1998 Van Der Meyden R., Vardi M. Y. Lecture Notes in Computer Science 11.09.1998
СТ A Clausal Logic for Deontic Action Specification 1991 Van Der Meyden R. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ Recursively Indefinite Databases 1990 Van Der Meyden R. Lecture Notes in Computer Science 19.03.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Checking and Arttificial Intelligence: Revised Selected and Invited Papers/6th International Workshop, MoChArt 2010, Atlanta,GA,USA, July 2010 2011 Lecture Notes in Artificial Intelligence
  1. Van Der Meyden R.
  2. Smaus J. -G.
 06.07.2011
СБ Deontic Logic in Computer Science: Proc./9th International Conference, DEON 2008. Luxembourg, Luxembourg, July 2008 2008 Lecture Notes in Artificial Intelligence
  1. Van Der Meyden R.
  2. Van Der Torre L.
 26.08.2008