@proceedings{Autexier2010,
title = {Intelligent Computer Mathematics},
isbn = {3642141277},
year  = {2010},
date = {2010-01-01},
booktitle = {Intelligent Computer Mathematics},
number = {6167},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
keywords = {conference},
pubstate = {published},
tppubtype = {proceedings}
}

{"_id":"4YHdLXbRSARoNW6m8","bibbaseid":"anonymous-intelligentcomputermathematics-2010","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Intelligent Computer Mathematics","isbn":"3642141277","year":"2010","date":"2010-01-01","booktitle":"Intelligent Computer Mathematics","number":"6167","publisher":"Springer Verlag","series":"Lecture Notes in Artificial Intelligence","keywords":"conference","pubstate":"published","tppubtype":"proceedings","bibtex":"@proceedings{Autexier2010,\r\ntitle = {Intelligent Computer Mathematics},\r\nisbn = {3642141277},\r\nyear = {2010},\r\ndate = {2010-01-01},\r\nbooktitle = {Intelligent Computer Mathematics},\r\nnumber = {6167},\r\npublisher = {Springer Verlag},\r\nseries = {Lecture Notes in Artificial Intelligence},\r\nkeywords = {conference},\r\npubstate = {published},\r\ntppubtype = {proceedings}\r\n}\r\n","key":"Autexier2010","id":"Autexier2010","bibbaseid":"anonymous-intelligentcomputermathematics-2010","role":"","urls":{},"keyword":["conference"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"proceedings","biburl":"https://raw.githubusercontent.com/SmartDataAnalytics/SDA-Publications/master/sda.bib","creationDate":"2020-07-04T15:47:15.393Z","downloads":0,"keywords":["conference"],"search_terms":["intelligent","computer","mathematics"],"title":"Intelligent Computer Mathematics","year":2010,"dataSources":["Smh7N7pGmghKvpo5R"]}