Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem (1994)
by
Matt Kaufmann
,
Paolo Pecchiari
| Citations: | 14 - 4 self |
BibTeX
@MISC{Kaufmann94interactionwith,
author = {Matt Kaufmann and Paolo Pecchiari},
title = {Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
