Login / Signup
Deduktion: von der Theorie zur Anwendung.
Franz Baader
Bernhard Beckert
Tobias Nipkow
Published in:
Inform. Spektrum (2010)
Keyphrases
</>