Claudia Obermaier

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Ulrich Furbach, Claudia Obermaier: Knowledge Compilation for Description Logics. KESE 2007

2006

1 EE Ulrich Furbach, Claudia Obermaier: Applications of Automated Reasoning. KI 2006: 174-187

2007
2	EE	Ulrich Furbach, Claudia Obermaier: Knowledge Compilation for Description Logics. KESE 2007
2006
1	EE	Ulrich Furbach, Claudia Obermaier: Applications of Automated Reasoning. KI 2006: 174-187

Coauthor Index

1 Ulrich Furbach [1] [2]