Вы здесь

Ohlbach H. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Elimination of Redundancies in Clause Sets and Clause Graphs 1989 Eisinger N., Ohlbach H. J., Pracklein A. Univ. Kaiserslautern 04.07.1991