- Tytuł:
- Specification and integration of theorem provers and computer algebra systems
- Autorzy:
-
Bertoli, P.G.
Calmet, J.
Giunchiglia, F.
Homann, K. - Data publikacji:
- 1999
- Słowa kluczowe:
-
computer algebra systems
theorem provers
integration
formal frameworks - Pokaż więcej
- Dostawca treści:
- BazTech