Display options
Cite
Kaufmann, M., Manolios, P., & Moore, J. S. (Eds.). (2013). Computer-aided reasoning: ACL2 case studies (Vol. 4). Springer Science & Business Media.
Kaufmann, Matt, Panagiotis Manolios, and J. Strother Moore, eds. Computer-aided reasoning: ACL2 case studies. Vol. 4. Springer Science & Business Media, 2013.
Copy Download .nbib Format: MLA
Share it on
Full text links
View full text

M Kaufmann, P Manolios, JS Moore - 2013 - books.google.com

Computer-aided reasoning: ACL2 case studies.

case studies

Manolios, Moore

GSID: hJvNV_uscJgJ

Excerpt

… The authors of these case studies were asked to do three things that are quite unusual. First, they were asked to provide exercises in their … in their studies. These too are on the Web, as described below. When we say, for example, that one of the case studies formalizes a floating…

Similar articles

Cited by