Вы здесь
Larchey-Wendling D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic | 1999 | Galmiche D., Larchey-Wendling D. | Lecture Notes in Computer Science | 28.12.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Reasoning with Analytic Tableaux and Related Methods: Proc./22nd International Conference, TABLEAUX 2013, Nancy, France, September 2013 | 2013 | Lecture Notes in Artificial Intelligence |
|
02.12.2013 |