Вы здесь

Reichgelt H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ ACT-P: A Configurable Theorem-Prover 1994 Hatzilygeroudis I., Reichgelt H. Data & Knowledge Engineering 24.01.1995
СТ COCA: A Shell for Intelligent Tutorial Systems 1992 Major N., Reichgelt H. Lecture Notes in Computer Science 03.07.1992