47

Towards the animation of proofs – testing proofs by examples

Year:
2002
Language:
english
File:
PDF, 138 KB
english, 2002