%0 Journal Article %1 journals/tcs/HayashiSS02 %A Hayashi, Susumu %A Sumitomo, Ryosuke %A ichiro Shii, Ken %D 2002 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 177-195 %T Towards the animation of proofs - testing proofs by examples. %U http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#HayashiSS02 %V 272

@article{journals/tcs/HayashiSS02, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hayashi, Susumu and Sumitomo, Ryosuke and ichiro Shii, Ken}, biburl = {https://www.bibsonomy.org/bibtex/25eabd8689fa42c64dc796fd89a77006e/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00350-9}, interhash = {12660c66b0c0bd9539c631072e2d3ce8}, intrahash = {5eabd8689fa42c64dc796fd89a77006e}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {177-195}, timestamp = {2024-04-08T18:50:02.000+0200}, title = {Towards the animation of proofs - testing proofs by examples.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#HayashiSS02}, volume = 272, year = 2002 }