Вы здесь

Gallier J. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Rewriting in Order-sorted Equational Logic 1988 Gallier J. H., Isakowitz T. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 29.09.1994