Chris Fermüller

Chris Fermüller

Professor of Computer Science, Vienna University of Technology
Verified email at logic.at
Cited by 2487
logic automated deduction artificial intelligence vaguenuess