@proceedings{freek2008a,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-16 22:26:12 +0000},
	Date-Modified = {2014-11-16 22:29:09 +0000},
	Editor = {S. Autexier and J. Campbell and J. Rubio and V. Sorge and Masakazu Suzuki and Freek Wiedijk},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings},
	Volume = {5144},
	Year = {2008}}

{"_id":"9ZS3nosY6WpBKhGGr","bibbaseid":"wiedijk-intelligentcomputermathematics9thinternationalconferenceaisc200815thsymposiumcalculemus20087thinternationalconferencemkm2008birminghamukjuly28august12008proceedings-2008","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"proceedings","type":"proceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:26:12 +0000","date-modified":"2014-11-16 22:29:09 +0000","editor":[{"firstnames":["S."],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Campbell"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Rubio"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Sorge"],"suffixes":[]},{"firstnames":["Masakazu"],"propositions":[],"lastnames":["Suzuki"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings","volume":"5144","year":"2008","bibtex":"@proceedings{freek2008a,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:26:12 +0000},\n\tDate-Modified = {2014-11-16 22:29:09 +0000},\n\tEditor = {S. Autexier and J. Campbell and J. Rubio and V. Sorge and Masakazu Suzuki and Freek Wiedijk},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings},\n\tVolume = {5144},\n\tYear = {2008}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Autexier, S.","Campbell, J.","Rubio, J.","Sorge, V.","Suzuki, M.","Wiedijk, F."],"key":"freek2008a","id":"freek2008a","bibbaseid":"wiedijk-intelligentcomputermathematics9thinternationalconferenceaisc200815thsymposiumcalculemus20087thinternationalconferencemkm2008birminghamukjuly28august12008proceedings-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"proceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["intelligent","computer","mathematics","9th","international","conference","aisc","2008","15th","symposium","calculemus","2008","7th","international","conference","mkm","2008","birmingham","july","august","2008","proceedings","wiedijk"],"title":"Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings","year":2008}