@incollection{beeson1989c,
	address = {Berlin Heidelberg New York},
	author = {Michael Beeson},
	booktitle = {Computers and Mathematics '89},
	date-added = {2014-11-14 21:54:16 +0000},
	date-modified = {2014-11-14 21:55:33 +0000},
	keywords = {MathXpert, Logic, Computation},
	pages = {202-214},
	publisher = {Springer-Verlag},
	title = {Logic and computation in {M}athpert: An expert system for learning mathematics},
	year = {1989}}

{"_id":"83LsC7BgnBictDoE8","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-logicandcomputationinmathpertanexpertsystemforlearningmathematics-1989","bibdata":{"bibtype":"incollection","type":"incollection","address":"Berlin Heidelberg New York","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Computers and Mathematics '89","date-added":"2014-11-14 21:54:16 +0000","date-modified":"2014-11-14 21:55:33 +0000","keywords":"MathXpert, Logic, Computation","pages":"202-214","publisher":"Springer-Verlag","title":"Logic and computation in Mathpert: An expert system for learning mathematics","year":"1989","bibtex":"@incollection{beeson1989c,\n\taddress = {Berlin Heidelberg New York},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Computers and Mathematics '89},\n\tdate-added = {2014-11-14 21:54:16 +0000},\n\tdate-modified = {2014-11-14 21:55:33 +0000},\n\tkeywords = {MathXpert, Logic, Computation},\n\tpages = {202-214},\n\tpublisher = {Springer-Verlag},\n\ttitle = {Logic and computation in {M}athpert: An expert system for learning mathematics},\n\tyear = {1989}}\n\n","author_short":["Beeson, M."],"key":"beeson1989c","id":"beeson1989c","bibbaseid":"beeson-logicandcomputationinmathpertanexpertsystemforlearningmathematics-1989","role":"author","urls":{},"keyword":["MathXpert","Logic","Computation"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T22:07:22.786Z","downloads":0,"keywords":["mathxpert","logic","computation"],"search_terms":["logic","computation","mathpert","expert","system","learning","mathematics","beeson"],"title":"Logic and computation in Mathpert: An expert system for learning mathematics","year":1989,"dataSources":["v9esbf6gQ8h64d3NA"]}