Vol-2425⫷ Vol-2426 ⫸Vol-2427
urn:nbn:de:0074-2426-0


Vol-2426/paper22⫷Vol-2426/paper23⫸Vol-2426/paper24
Alexander S. KleschevPhilip M. MoskalenkoVadim A. Timchenko

A Concept of Software Shell for Interactive Mathematical Proof Verification Systems