Вы здесь
Arvind V.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | On Helping and Interactive Proof Systems | 1994 | Arvind V., Kobler J., Schuler R. | Lecture Notes in Computer Science | 24.08.1994 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Foundations of Software Technology and Theoretical Computer Science: Proc./18th Conf. Chennai, India, December 1998 | 1998 | Lecture Notes in Computer Science |
|
22.12.1998 | |||
СБ | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007 | 2007 | Lecture Notes in Computer Science |
|
05.03.2008 |