Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)

@inproceedings{Calculemus2005, address = {Newcastle-upon-Tyne, UK}, booktitle = {Calculemus}, citeulike-article-id = {848233}, editor = {Carette, Jacques and Farmer, William M. }, keywords = {bibtex-import}, number = {1}, posted-at = {2006-09-17 19:11:15}, priority = {0}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, title = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning ({C}alculemus 2005)}, volume = {151}, year = {2005} }

TY - CONF ID - Calculemus2005 L3 - citeulike-article-id:848233 TI - Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning ({C}alculemus 2005) T2 - Calculemus SE - Electronic Notes in Theoretical Computer Science VL - 151 IS - 1 AD - Newcastle-upon-Tyne, UK PB - Elsevier KW - bibtex-import A2 - Carette, Jacques A2 - Farmer, William PY - 2005/// ER -