Вы здесь
Cerrito S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Herbrand Methods in Sequent Calculi: Unification in LL | 1992 | Cerrito S. | Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming | 19.12.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019 | 2019 | Lecture Notes in Artificial Intelligence |
|
04.09.2019 |