%0 Generic %1 deRoo:2002 %A Roo, J. De %D 2002 %K euler n3 rdf reasoning %T Euler proof mechanism

@misc{deRoo:2002, added-at = {2009-04-02T11:07:42.000+0200}, author = {Roo, J. De}, biburl = {https://www.bibsonomy.org/bibtex/2b126b1002c47829ac0b48c499d8d4c6f/jeenbroekstra}, howpublished = {Internet: \url{http://www.agfa.com/w3c/euler/}}, interhash = {5cccfde77311a3d651f75268770c2673}, intrahash = {b126b1002c47829ac0b48c499d8d4c6f}, keywords = {euler n3 rdf reasoning}, timestamp = {2009-04-02T14:29:07.000+0200}, title = {Euler proof mechanism}, year = 2002 }