Wolf Schaarschmidt

	1997
1		Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[1]
2	Lassaad Cheikhrouhou	[1]
3	Detlef Fehrer	[1]
4	Armin Fiedler	[1]
5	Xiaorong Huang	[1]
6	Manfred Kerber	[1]
7	Michael Kohlhase	[1]
8	Karsten Konrad	[1]
9	Andreas Meier	[1]
10	Erica Melis	[1]
11	Jörg H. Siekmann	[1]
12	Volker Sorge	[1]