Вы здесь

Policriti A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Set-theoretic Translation Method for (Poly)modal Logics 1995 D Agostino G., Montanari A., Policriti A. Lecture Notes in Computer Science 25.03.1995
СТ Decision procedures for set/hyperset contexts 1993 Omodeo E. G., Policriti A. Lecture Notes in Computer Science 09.10.1993
СТ On T Logic Programming 1997 Dovier A., Formisano A., Policriti A. Logic Programming 05.03.1998