Integrating Computer Algebra and Reasoning through the Type System of Aldor (2000)

Cached

Download Links

by Erik Poll , Simon Thompson