Вы здесь
Antoni G. D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Communicating Petri Nets | 1991 | Antoni G. D. | Petri Nets Newsletter | 22.06.1995 | |||
СТ | OR-Parallelism in Theorem Proving: Speedups versus Timeout | 1995 | Buffoli F., Antoni G. D., Marchese A. | EATCS Bull. | 13.04.1995 |