System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Sylvia Grewe
-
Sebastian Erdweg
-
André Pacak
-
Mira Mezini
- Editoren
-
David Sabel
-
Peter Thiemann
- Zeitschrift
- PPDP
- Paginierung
- 24:1 - 24:1
- Datum der Veröffentlichung
- 2018
- Herausgeber
- ACM
- Herausgeber URL
- http://dl.acm.org/citation.cfm?id=3236950
- Titel
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-