Вы здесь

Главная

Furbach U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Theory Reasoning in First Order Calculi 1994 Furbach U. Lecture Notes in Computer Science 30.03.1994
СТ Calculi for Disjunctive Logic Programming 1997 Baumgartner P., Furbach U. Logic Programming 05.03.1998
М Rigorous Derivation of a Sophisticated Algorithm: Smoothsort 1986 Furbach U., Schmitz L. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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
СБ Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000 2000 Lecture Notes in Artificial Intelligence
  1. Lloyd J.
  2. Dahl V.
  3. Furbach U.
  4. Kerber M.
 07.09.2000
СБ KI 2005: Advances in Artificial Intelligence: Proc./28th Annual German Conference on AI, KI 2005. Koblenz, Germany, September 2005 2005 Lecture Notes in Artificial Intelligence
  1. Furbach U.
 26.10.2005
СБ Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006 2006 Lecture Notes in Artificial Intelligence
  1. Furbach U.
  2. Shankar N.
 28.09.2006