Вы здесь

Gobel R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П A complition procedure for globally finite term rewriting systems 1983 Gobel R. Univ. Kaiserslautern 14.09.1991