Login / Signup
8. Arbeitstagung Programmiersprachen (ATPS 2015).
Clemens Grelck
Baltasar Trancón y Widemann
Published in:
Software Engineering & Management (2015)
Keyphrases
</>
automated theorem provers
computer algebra