Вы здесь

Retore C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Pomset Logic: A Non-communicative Extension of Classical Linear Logic 1997 Retore C. Lecture Notes in Computer Science 11.04.1997