Solving △ = □
| Autor: | John R. Cowles, Ruben Gamboa |
|---|---|
| Rok vydání: | 2009 |
| Zdroj: | Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications. |
| DOI: | 10.1145/1637837.1637850 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | John R. Cowles, Ruben Gamboa |
|---|---|
| Rok vydání: | 2009 |
| Zdroj: | Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications. |
| DOI: | 10.1145/1637837.1637850 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|