Вы здесь

Главная

Furbach U.

Автор:

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