Scholar
Chris Fermüller
Google Scholar ID: -6IV5oIAAAAJ
Professor of Computer Science, Vienna University of Technology
logic
automated deduction
artificial intelligence
vaguenuess
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
446
H-index
10
i10-index
12
Publications
20
Co-authors
18
list available
Co-authors
9 total
Agata Ciabattoni
Vienna University of Technology
Gernot Salzer
Associate Professor of Computer Science, Technische Universität Wien
Tanel Tammet
Professor of Applied Artificial Intelligence, Tallinn University of Technology
Reinhard Pichler
TU Wien
Carles Noguera
Professor of Logic. Department of Information Engineering and Mathematics, University of Siena
Ondrej Majer
Institute of Philosophy, Academy of Sciences of the Czech Republic
Georg Gottlob
Professor of Informatics, University of Calabria
Georg Moser
Professor for Computer Science, University of Innsbruck
