Вы здесь

Hatzilygeroudis I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for Integrating Logic and Objects for Kowledge Representation and Reasoning 1994 Hatzilygeroudis I. Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX 24.05.1995
СТ ACT-P: A Configurable Theorem-Prover 1994 Hatzilygeroudis I., Reichgelt H. Data & Knowledge Engineering 24.01.1995

Редактор: