Вы здесь

Wansing H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М The Logfic of Information Structures 1993 Wansing H. Lecture Notes in Artificial Intelligence 20.09.1993
СТ Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic 1992 Wansing H. Lecture Notes in Artificial Intelligence 18.08.1992