Вы здесь
A Complete Modal Proof System For HAL: The Herbrand Agent Language
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.185-206.
Библиография:
Bibliogr.: p.204-206
Место издания:
Источник:
Карточка:
Б2.15.
Habbas Z..
A Complete Modal Proof System For HAL: The Herbrand Agent Language-Rocquencourt.// Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction, 1991.-P.185-206.
Bibliogr.: p.204-206
Таблица в старой библиотеке:
PAP2 742