Vol-1411⫷ Vol-1412 ⫸Vol-1413
urn:nbn:de:0074-1412-0


Vol-1412/o5⫷Vol-1412/o6
Sarah GrebingBernhard Beckert

Interactive Theorem Proving - Modelling the User in the Proof Process