Login / Signup
Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken.
Jens Otten
Published in:
Ausgezeichnete Informatikdissertationen (2013)
Keyphrases
</>