{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T01:27:01Z","timestamp":1745803621640},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642140990"},{"type":"electronic","value":"9783642141003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14100-3_58","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T05:45:45Z","timestamp":1277790345000},"page":"389-395","source":"Crossref","is-referenced-by-count":8,"title":["Non-sequential Mathematical Notations in the LAMBDA System"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Bernareggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","volume-title":"ASSETS 2004","author":"G. Gopal","year":"2004","unstructured":"Gopal, G., Stoger, B., Palmer, B., Guo, H.: UMA: a System for Universal Mathematics Accessibility. In: ASSETS 2004, ACM Press, New York (2004)"},{"key":"58_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1007\/11788713_176","volume-title":"Computers Helping People with Special Needs","author":"W. Schweikhardt","year":"2006","unstructured":"Schweikhardt, W., Bernareggi, C., Jessel, N., Encelle, B., Gut, M.: LAMBDA: a European System to Access Mathematics with Braille and Audio Synthesis. In: Miesenberger, K., Klaus, J., Zagler, W.L., Karshmer, A.I. (eds.) ICCHP 2006. LNCS, vol.\u00a04061, pp. 1223\u20131230. Springer, Heidelberg (2006)"},{"key":"58_CR3","volume-title":"SIGAPL APL Quote Quad 35","author":"E. Iverson","year":"2007","unstructured":"Iverson, E.: Notation as a Tool of Thought. In: SIGAPL APL Quote Quad 35, ACM Press, New York (2007)"},{"key":"58_CR4","volume-title":"ITiCSE 2007 : 12th Annual Conference on Innovation & Technology in Computer Science Education, Inclusive Education in Computer Science","author":"M.F. Stallmann","year":"2007","unstructured":"Stallmann, M.F., Balik, S.P., Rodman, R.D., Bahram, S., Grace, M.C., High, S.D.: ProofChecker: an Accessible Environment for Automata Theory Correctness Proofs. In: ITiCSE 2007: 12th Annual Conference on Innovation & Technology in Computer Science Education, Inclusive Education in Computer Science, ACM Press, Dundee (2007)"},{"key":"58_CR5","unstructured":"Bernareggi, C., Dalto, G.C.: Making Automata Accessible to Visually Impaired People. In: WEIMS conference, Fukuoka (2009)"}],"container-title":["Lecture Notes in Computer Science","Computers Helping People with Special Needs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14100-3_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:18:44Z","timestamp":1619770724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14100-3_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642140990","9783642141003"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14100-3_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}