Вы здесь
Wansing H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic | 1992 | Wansing H. | Lecture Notes in Artificial Intelligence | 18.08.1992 | |||
| М | The Logfic of Information Structures | 1993 | Wansing H. | Lecture Notes in Artificial Intelligence | 20.09.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Nonclassical Logics and Information Processing: Proc./Intern. Workshop. Berlin, Germany, November 1990 | 1992 | Lecture Notes in Artificial Intelligence |
|
17.08.1992 | |||
| СБ | Logics in Artificial Intelligence: Proc./11th European Conference, JELIA 2008. Dresden, Germany, September/October 2008 | 2008 | Lecture Notes in Artificial Intelligence |
|
16.12.2008 |