Вы здесь

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