- Tytuł:
- Proving Theorems by Program Transformation
- Autorzy:
-
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V. - Data publikacji:
- 2013
- Słowa kluczowe:
-
automated theorem proving
constraint logic programming
program specialization
program transformation
quantifier elimination
temporal logics - Pokaż więcej
- Dostawca treści:
- BazTech