Back to Search
Start Over
Towards the animation of proofs - testing proofs by examples
- Source :
- Theoretical Computer Science; 2002, Vol. 272 Issue: 1 p177-195, 19p
- Publication Year :
- 2002
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 272
- Issue :
- 1
- Database :
- Supplemental Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Periodical
- Accession number :
- ejs3118049
- Full Text :
- https://doi.org/10.1016/S0304-3975(00)00350-9