Franz Baader
· 14 obras en el catálogo
Obras

The Description Logic Handbook

The description logic handbook

The description logic handbook

Term Rewriting & All That
Introduction to Description Logic
Fermenta Cognitionis
Fermenta Cognitionis, Heft 1

Term Rewriting and Applications
Frontiers of combining systems

Automated Deduction - CADE-19
2003

Term rewriting and all that
1998