{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:10Z","timestamp":1725488590787},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003892"},{"type":"electronic","value":"9783540363880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36388-2_16","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T05:50:36Z","timestamp":1186811436000},"page":"223-240","source":"Crossref","is-referenced-by-count":9,"title":["A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Paulo","family":"Leal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"16_CR1","unstructured":"Bryc, W., Pelikan, S.: Online Exercises System. Univ. of Cincinnati, US (1996)"},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"An Open-Ended Finite Domain Constraint Solver","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In Proceedings of PLILP\u201997, LNCS 1292. Springer-Verlag, (1997) 191\u2013206"},{"key":"16_CR3","unstructured":"Cohen, A. M., Cuypers, H., Sterk, H.: Algebra Interactive, Springer-Verlag (1999)"},{"key":"16_CR4","unstructured":"Damas, L., Santos Costa, V., Reis, R., Azevedo, R.: YAP User\u2019s Guide and Reference Manual. Univ. Porto (1998) \n                    http:\/\/www.ncc.up.pt\/~vsc\/YAP"},{"key":"16_CR5","unstructured":"Gang, X.: WIMS-An Interactive Mathematics Server. J. Online Mathematics and its Applications, 1, MAA (2001) \n                    http:\/\/wims.unice.fr"},{"key":"16_CR6","volume-title":"OFAI clp(q,r) Manual","author":"C. Holzbaur","year":"1995","unstructured":"Holzbaur, C.: OFAI clp(q,r) Manual, Edition 1.3.3. Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09 (1995)","edition":"Edition 1.3.3"},{"key":"16_CR7","unstructured":"Kent, P.: Computer-Assisted Problem Posing in Undergraduate Mathematics. Institute of Education, Univ. of London (1996) \n                    http:\/\/metric.ma.ic.ac.uk"},{"key":"16_CR8","unstructured":"Klai, S., Kolokolnikov, T., Van der Bergh, N.: Using Maple and the web to grade mathematics tests. Int. Workshop on Advanced Technologies, Palmerston North, New Zealand (2000) \n                    http:\/\/allserv.rug.ac.be\/~nvdbergh\/aim\/docs"},{"key":"16_CR9","unstructured":"Leal, J. P., Moreira, N.: Using matching for automatic assessment in computer science learning environments. In: Proceedings of Web-based Learning Environments Conference (2000) \n                    http:\/\/www.ncc.up.pt\/~zp\/ganesh"},{"key":"16_CR10","unstructured":"Maple, Waterloo Maple Corporate. \n                    http:\/\/www.maplesoft.com"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Marriott, K., and Stuckey, P.: Programming with Constraints-An Introduction. The MIT Press (1998)","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"16_CR12","unstructured":"Mathematica, Wolfram Research Inc. \n                    http:\/\/www.wolfram.com\/"},{"issue":"4","key":"16_CR13","first-page":"385","volume":"12","author":"E. Melis","year":"2001","unstructured":"Melis, E. et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. Int. J. Artificial Intelligence in Education, 12(4) (2001) 385\u2013407 \n                    http:\/\/www.activemath.org\/","journal-title":"Int. J. Artificial Intelligence in Education"},{"key":"16_CR14","unstructured":"Moore, L., Smith, D. et al.: Connected Curriculum Project CCP. Duke University (2001) \n                    http:\/\/www.math.duke.edu\/education\/ccp"},{"key":"16_CR15","volume-title":"New opportunities for encouraging higher level mathematical learning by creative use of emerging computer aided assessment","author":"C.J. Sangwin","year":"2002","unstructured":"Sangwin, C.J.: New opportunities for encouraging higher level mathematical learning by creative use of emerging computer aided assessment. Univ. of Birmingham, UK (2002)"},{"key":"16_CR16","unstructured":"Moura Santos, A., Santos, P. A., Dion\u00edsio F. M., Duarte P.: CAL-A System for generating multiple choice questions and delivering them by Internet. In: Proc. of the Workshop on Electronic Media in Mathematics, Coimbra, Portugal (2001)"},{"key":"16_CR17","unstructured":"Schr\u00f6nert, M. et al.: GAP-Groups, Algorithms, and Programming. Lehrstuhl D f\u00fcr Mathematik, Rheinisch Westf\u00e4lische Tecnhische Hochschule, Germany (1995)"},{"key":"16_CR18","unstructured":"Tom\u00e1s, A. P., Vasconcelos, P.: Generating Mathematics Exercises by Computer. Internal Report DCC-2001-6, DCC-FC & LIACC, University of Porto. Presented at Workshop CSOR\u201901, Porto (2001)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36388-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T12:53:12Z","timestamp":1550753592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36388-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003892","9783540363880"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36388-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}