Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort.

Walter Dosch Michael Hanus

Published in: GI Jahrestagung (2009)

Keyphrases

automated theorem provers
expert systems
random variables