Franz Baader
Franz Baader
9 books in the database
Books
Term Rewriting & All ThatFranz Baader
Term Rewriting & All That
Franz Baader · 2012
The description logic handbookFranz Baader
The description logic handbook
Franz Baader · 2010
Term Rewriting and ApplicationsFranz Baader
Term Rewriting and Applications
Franz Baader · 2007
The description logic handbookFranz Baader
The description logic handbook
Franz Baader · 2007
Automated Deduction - CADE-19Franz Baader
Automated Deduction - CADE-19
Franz Baader · 2003
Introduction to Description LogicFranz Baader
Introduction to Description Logic
Franz Baader · 2017
KI 2001 : Advances in Artificial IntelligenceFranz Baader
KI 2001 : Advances in Artificial Intelligence
Franz Baader · 2003
Fermenta Cognitionis, Heft 1Franz Baader
Fermenta Cognitionis, Heft 1
Franz Baader · 2019
Fermenta CognitionisFranz Baader
Fermenta Cognitionis
Franz Baader · 1900