Вы здесь

Cioni G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Enhanced Sequent Calculus for Reasoning in a given Domain 1993 Bonamico S., Cioni G., Colagrossi A. Lecture Notes in Computer Science 09.10.1993