Algebraic structures in Axiom and Isabelle: attempt at a comparison (2007)

Cached

Download Links

by Clemens Ballarin