Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
Matt Kaufmann, Paolo PecchiariVolume:
16
Language:
english
Pages:
42
DOI:
10.1007/bf00244463
Date:
March, 1996
File:
PDF, 1.90 MB
english, 1996