Chris Hendriks

	1995
1		Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. MPC 1995: 304-321

Coauthor Index

1	Rix Groenboom	[1]
2	Indra Polak	[1]
3	Jan Terlouw	[1]
4	Jan Tijmen Udding	[1]