%0 Conference Proceedings %1 siekmann2005 %B Mechanizing Mathematical Reasoning %D 2005 %E Hutter, Dieter %E Stephan, Werner %I Springer %K proceedings %T Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday %V 2605 %@ 3-540-25051-4

@proceedings{siekmann2005, added-at = {2008-02-20T03:42:09.000+0100}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2447374707e95dc5e306cfe37de6670cf/marciomr}, booktitle = {Mechanizing Mathematical Reasoning}, description = {Artigos e livros que tenho impresso}, editor = {Hutter, Dieter and Stephan, Werner}, interhash = {c9e40990ec09d8de438ec7d2b9be3b6a}, intrahash = {447374707e95dc5e306cfe37de6670cf}, isbn = {3-540-25051-4}, keywords = {proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-02-20T04:18:04.000+0100}, title = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday}, volume = 2605, year = 2005 }