Вы здесь

Denzinger J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ DISCOUNT: A System for Distributed Equational Deduction 1995 Avenhaus J., Denzinger J., Fuchs M. Lecture Notes in Computer Science 28.04.1995
СТ Goal Oriented Equational Theorem Proving Using Team Work 1994 Denzinger J., Fuchs M. Lecture Notes in Artificial Intelligence 21.10.1994