Вы здесь

Petermann U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifications of Inference Rules and Their Automatic Translation 1995 Neugebauer G., Petermann U. Lecture Notes in Artificial Intelligence 02.06.1995
СТ Rigid Unification by Completion and Rigid Paramodulation 1994 Becher G., Petermann U. Lecture Notes in Artificial Intelligence 21.10.1994
СТ Completeness of the Pool Calculus with an Open Built-in Theory 1993 Petermann U. Lecture Notes in Computer Science 21.09.1993
СТ A Complete Connection Calculus with Rigid E-Unification 1994 Petermann U. Lecture Notes in Artificial Intelligence 28.10.1994