Вы здесь

Habbas Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Complete Modal Proof System For HAL: The Herbrand Agent Language 1991 Habbas Z. INRIA Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction 20.11.1991