Martina Timmann

2001
1	EE	Volker Haarslev, Martina Timmann, Ralf Möller: Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001

Coauthor Index

1	Volker Haarslev	[1]
2	Ralf Möller	[1]