Vol-3200⫷ Vol-3201 ⫸Vol-3202
urn:nbn:de:0074-3201-0


Vol-3201/paper9⫷Vol-3201/paper10⫸Vol-3201/invited2
Michael Rawson 0001Martin Suda 0001Petra HozzováGiles Reger

Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)