Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem (1994)

Cached

Download Links

by Matt Kaufmann , Paolo Pecchiari
Citations:14 - 4 self