Вы здесь
Fermuller C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proof Theory of Fuzzy Logics: Urquhart s C and Related Logics | 1998 | Baaz M., Ciabattoni A., Fermuller C., Veith H. | Lecture Notes in Computer Science | 02.09.1998 | |||
| М | Resolution Methods for the Decision Problem | 1993 | Fermuller C., Leitsch A., Tammet T., Zamov N. | Lecture Notes in Artificial Intelligence | 20.09.1993 |