Login / Signup
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013).
Jens Knoop
Janis Voigtländer
Published in:
Software Engineering (Workshops) (2013)
Keyphrases
</>
automated theorem provers
artificial intelligence
computer algebra
knowledge base
modal logic