%0 Journal Article %1 Weyrauch1980 %A Weyrauch, Richard W. %D 1980 %J Artificial Intelligence %K imported %N 1,2 %P 133--170 %T Prolegomena to a Theory of Mechanized Formal Reasoning %V 13

@article{Weyrauch1980, added-at = {2007-11-23T14:13:20.000+0100}, author = {Weyrauch, Richard W.}, biburl = {https://www.bibsonomy.org/bibtex/2d2e0a99b58470b8bee69b692ba026fbc/ramaz}, interhash = {42a98dc5710e5d40c1801aba608cc34a}, intrahash = {d2e0a99b58470b8bee69b692ba026fbc}, journal = {Artificial Intelligence}, keywords = {imported}, number = {1,2}, owner = {Mauro}, pages = {133--170}, timestamp = {2007-11-23T14:13:41.000+0100}, title = {Prolegomena to a Theory of Mechanized Formal Reasoning}, volume = 13, year = 1980 }