Sciweavers

CADE
2002
Springer
15 years 10 months ago
Proof Development with OMEGA
Jörg H. Siekmann, Christoph Benzmüller, ...