student presentation subtype types first-order theorem prover array theory vampire loop invariants
Mehr anzeigen