A 'Theory' mechanism for a proof verifier based on first-order set theory
| Autor: | OMODEO, EUGENIO, SCHWARTZ J. T. |
|---|---|
| Přispěvatelé: | KAKAS A., SADRI F., Omodeo, Eugenio, Schwartz, J. T. |
| Rok vydání: | 2002 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | OMODEO, EUGENIO, SCHWARTZ J. T. |
|---|---|
| Přispěvatelé: | KAKAS A., SADRI F., Omodeo, Eugenio, Schwartz, J. T. |
| Rok vydání: | 2002 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|