Login / Signup
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016).
Andreas Krall
Ina Schaefer
Published in:
Software Engineering (Workshops) (2016)
Keyphrases
</>
automated theorem provers
artificial intelligence
inference rules