{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:08:53Z","timestamp":1725584933880},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213496"},{"type":"electronic","value":"9783642213502"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21350-2_27","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T12:05:50Z","timestamp":1307707550000},"page":"223-230","source":"Crossref","is-referenced-by-count":0,"title":["Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Terrematte","sequence":"first","affiliation":[]},{"given":"Fabr\u00edcio","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","first-page":"61","volume-title":"The Instructional Use of Learning Objects","author":"B. Bannan-Ritland","year":"2002","unstructured":"Bannan-Ritland, B., Dabbagh, N., Murphy, K.: Learning Object systems as constructivist learning environments: related assumptions, theories, and applications. In: Wiley, D.A. (ed.) The Instructional Use of Learning Objects, pp. 61\u201398. AECT, Bloomington (2002)"},{"key":"27_CR2","unstructured":"Barros, T.M., Ara\u00fajo, A.E.F.D., Marcos, J.: A implementa\u00e7\u00e3o colaborativa de uma su\u00edte de ferramentas on-line de apoio ao ensino de L\u00f3gica. VIII ERMAC\u2013R3 (2008)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-00978-5_22","volume-title":"Learning Network Services for Professional Development","author":"P. Beauvoir","year":"2009","unstructured":"Beauvoir, P., Griffiths, D., Sharples, P.: Learning Design Authoring Tools in the TENCompetence Project. In: Koper, R. (ed.) Learning Network Services for Professional Development, pp. 379\u2013387. Springer, Heidelberg (2009)"},{"key":"27_CR4","unstructured":"van Ditmarsch, H.: A comprehensive list of tools for doing Logic. Association for Symbolic Logic (2010), \n                  \n                    http:\/\/www.ucalgary.ca\/aslcle\/logic-courseware\/\n                  \n                  \n                 (verified at March 21, 2011)"},{"issue":"7","key":"27_CR5","first-page":"674","volume":"78","author":"R.M. Felder","year":"1988","unstructured":"Felder, R.M., Silverman, L.K.: Learning and teaching styles in Engineering education. Engr. Education\u00a078(7), 674\u2013681 (1988)","journal-title":"Engr. Education"},{"issue":"2","key":"27_CR6","first-page":"35","volume":"3","author":"M. Hendriks","year":"2010","unstructured":"Hendriks, M., Kaliszyk, C., Van Raamsdonk, F., Wiedijk, F.: Teaching logic using a state-of-the-art proof-assistant. Acta Didactica Napocensia\u00a03(2), 35\u201348 (2010)","journal-title":"Acta Didactica Napocensia"},{"issue":"4","key":"27_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1093\/jigpal\/jzm023","volume":"15","author":"A. Huertas","year":"2007","unstructured":"Huertas, A.: Teaching and learning Logic in a Virtual Learning Environment. Logic Journal of IGPL\u00a015(4), 321\u2013331 (2007)","journal-title":"Logic Journal of IGPL"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Koper, R., Miao, Y.: Using the IMS LD Standard to Describe Learning Designs. In: Handbook of Research on Learning Design and Learning Objects: Issues, Applications and Technologies, pp. 41\u201386. Information Science Publishing (2009)","DOI":"10.4018\/978-1-59904-861-1.ch003"},{"key":"27_CR9","unstructured":"Polsani, P.: Use and abuse of reusable Learning Objects. Journal of Digital information\u00a03(4) (2006)"},{"key":"27_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.28945\/1306","volume":"6","author":"A.D. Ritzhaupt","year":"2010","unstructured":"Ritzhaupt, A.D.: Learning Object Systems and Strategy: A description and discussion. Interdisciplinary Journal of E-Learning and Learning Objects (IJELLO)\u00a06, 217\u2013238 (2010)","journal-title":"Interdisciplinary Journal of E-Learning and Learning Objects (IJELLO)"},{"issue":"4","key":"27_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1093\/jigpal\/jzm026","volume":"15","author":"W. Sieg","year":"2007","unstructured":"Sieg, W.: The AproS Project: Strategic thinking & computational logic. Logic Journal of IGPL\u00a015(4), 359\u2013368 (2007)","journal-title":"Logic Journal of IGPL"},{"key":"27_CR12","unstructured":"Terrematte, P., Marcos, J., Galdino, T.: O Logicamente: A implementa\u00e7\u00e3o colaborativa de Objetos de Aprendizagem de L\u00f3gica (IV WAPSEDI). In: SBIE - XX Simp\u00f3sio Brasileiro de Inform\u00e1tica na Educa\u00e7\u00e3o (2009)"},{"key":"27_CR13","unstructured":"Vilela, G., Rosan, M., Marcos, J.: Implementa\u00e7\u00e3o de um gerador e verificador de modelos finitos para a L\u00f3gica Cl\u00e1ssica de Primeira Ordem. VIII ERMAC\u2013R3 (2008)"}],"container-title":["Lecture Notes in Computer Science","Tools for Teaching Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21350-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T11:18:11Z","timestamp":1553771891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21350-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213496","9783642213502"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21350-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}