Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor (1998)

Cached

Download Links

by Erik Poll , Simon Thompson
Venue:Computing Laboratory, University of Kent
Citations:6 - 1 self