Вы здесь

Nerode A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Presentations of Structures 1995 Khoussainov B., Nerode A. Lecture Notes in Computer Science Logic and Computational Complexity 27.09.1995
СТ On Logical Constraints in Logic Programming 1995 Marek V. W., Nerode A., Remmel J. B. Lecture Notes in Artificial Intelligence 06.07.1995
СТ The Stable Models of a Predicate Logic Program 1992 Marek V. W., Nerode A., Remmel J. B. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ On Extreme Points of Convex Compact Turing Located Set 1994 Ge X., Nerode A. Lecture Notes in Computer Science 27.07.1994
СТ The Notion of Rank and Games 1994 Khoussainov B., Nerode A. Lecture Notes in Computer Science 27.07.1994
СТ Multiple Agent Hybrid Control Architecture 1993 Nerode A., Kohn W. Lecture Notes in Computer Science 09.12.1993
СТ Models for Hybrid Systems: Automata, Topologies, Controllability, Observability 1993 Nerode A., Kohn W. Lecture Notes in Computer Science 09.12.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020 2020 Lecture Notes in Computer Science
  1. Artemov S.
  2. Nerode A.
13.02.2020
СБ Logic Foundations of Computer Science: Proc./International Symposium, LFCS 2016, Deerfield Beach,FL,USA, January 2016 2016 Lecture Notes in Computer Science
  1. Artemov S.
  2. Nerode A.
19.02.2016
СБ Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2013, San Diego,CA,USA, January 2013 2013 Lecture Notes in Computer Science
  1. Artemov S.
  2. Nerode A.
19.02.2013
СБ Logical Foundations of Computer Science: Proc./International Workshop, LFCS 2009. Deerfield Beach, FL, USA, January 2009 2009 Lecture Notes in Computer Science
  1. Artemov S.
  2. Nerode A.
24.07.2009
СБ Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007 2007 Lecture Notes in Computer Science
  1. Artemov S. N.
  2. Nerode A.
26.07.2007
СБ Hybrid Systems V 1999 Lecture Notes in Computer Science
  1. Antsaklis P.
  2. Kohn W.
  3. Lemmon M.
  4. Nerode A.
17.03.1999
СБ Hybrid Systems IV 1997 Lecture Notes in Computer Science
  1. Antsaklis P.
  2. Kohn W.
  3. Nerode A.
  4. Sastry S.
28.08.1997
СБ Logic Programming and Nonmonotonic Reasoning: Proc./4th Intern. Conf., LPNMR 97. Dagstuhl Castle, Germany, July 1997 1997 Lecture Notes in Artificial Intelligence
  1. Dix J.
  2. Furbach U.
  3. Nerode A.
31.07.1997
СБ Logical Foundations of Computer Science: Proc./4th Intern. Symp., LFCS 97. Yaroslavl, Russia, July 1997 1997 Lecture Notes in Computer Science
  1. Adian S.
  2. Nerode A.
28.06.1997
СБ Hybrid Systems II 1995 Lecture Notes in Computer Science
  1. Antsaklis P.
  2. Kohn W.
  3. Nerode A.
  4. Sastry Sh.
21.11.1995
СБ Logic Programming and Nonmonotonic Reasoning: Proc./Third Intern. Conf., LPNMR 95. Lexington, KY, USA, June 1995 1995 Lecture Notes in Artificial Intelligence
  1. Marek V. W.
  2. Nerode A.
  3. Truszczynski M.
05.07.1995
СБ Logical Foundations of Computer Science: Proc./Third Intern. Symp., LFCS 94. St. Petersburg, Russia, July 1994 1994 Lecture Notes in Computer Science
  1. Nerode A.
  2. Matiyasevich Yu. V.
26.07.1994
СБ Hybrid Systems 1993 Lecture Notes in Computer Science
  1. Grossman R. L.
  2. Nerode A.
  3. Ravn A. P.
  4. Rischel H.
07.12.1993
СБ Logical Foundations of Computer Science - Tver 92: Proc./Second International Symposium. Tver, Russia, July 1992 1992 Lecture Notes in Computer Science
  1. Nerode A.
  2. Taitslin M.
04.08.1992