![]() | ![]() |
2005 | ||
---|---|---|
1 | EE | Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith: Meta Reasoning in ACL2. TPHOLs 2005: 163-178 |
1 | Warren A. Hunt Jr. | [1] |
2 | Matt Kaufmann | [1] |
3 | Robert Bellarmine Krug | [1] |
4 | J. Strother Moore | [1] |