Вы здесь

Furbach U.

Автор:

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