Вы здесь

Главная

Furbach U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М 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
СТ Calculi for Disjunctive Logic Programming 1997 Baumgartner P., Furbach U. Logic Programming 05.03.1998
СТ Theory Reasoning in First Order Calculi 1994 Furbach U. Lecture Notes in Computer Science 30.03.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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
СБ 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
СБ 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
СБ 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