Вы здесь

Furbach U.

Автор:

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