{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:11Z","timestamp":1725533831318},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_3","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:47:24Z","timestamp":1246535244000},"page":"14-26","source":"Crossref","is-referenced-by-count":3,"title":["Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Calmet","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"3_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1999-391203","volume":"39","author":"P.G. Bertoli","year":"1999","unstructured":"Bertoli, P.G., Calmet, J., Giunchiglia, F., Homann, K.: Specification and integration of theorem provers and computer algebra systems. Fundamenta Informaticae\u00a039(1-2), 39\u201357 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-61697-7","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"J. Calmet","year":"1996","unstructured":"Calmet, J., Homann, K.: Structures for symbolic mathematical reasoning and computation. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol.\u00a01128, pp. 216\u2013227. Springer, Heidelberg (1996)"},{"key":"3_CR3","unstructured":"Calmet, J., Lefevre, V.: Toward the Integration of Numerical Computations into the OMSCS Framework. In: Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, Saint Petersbourg, Russia, pp. 71\u201379 (2004)"},{"issue":"1","key":"3_CR4","first-page":"77","volume":"98","author":"J. Calmet","year":"2004","unstructured":"Calmet, J., Maret, P., Endsuleit, R.: Agent-Oriented Abstraction, Revista Real Academia de Ciencias (Madrid). Special Volume on Symbolic Computing and Artificial Intelligence\u00a098(1), 77\u201383 (2004)","journal-title":"Special Volume on Symbolic Computing and Artificial Intelligence"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Calmet, J., Ollivier, F. (Guest eds.): Jacobi\u2019s Legacy. AAECC Special issue \u00a020(1) (April 2009)","DOI":"10.1007\/s00200-009-0090-8"},{"key":"3_CR6","unstructured":"Calmet, J., Maret, P., Schneider, M.: Cultural Differences as a Tool to Assess Trust in Virtual Enterprises (May 2009) (forthcoming)"},{"issue":"119","key":"3_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/384150.384165","volume":"44","author":"N. Carriero","year":"2001","unstructured":"Carriero, N., Gelernter, D.: A Computational Model of Everything. Communications of the ACM\u00a044(119), 77\u201381 (2001)","journal-title":"Communications of the ACM"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/0167-2789(90)90186-S","volume":"45","author":"E. Fredkin","year":"1990","unstructured":"Fredkin, E.: Digital Mechanics. Physica D\u00a045, 254\u2013270 (1990)","journal-title":"Physica D"},{"issue":"2","key":"3_CR9","first-page":"127","volume":"11","author":"M. Ghins","year":"2007","unstructured":"Ghins, M.: Laws of Nature: Do we Need a Metaphysics? Principia\u00a011(2), 127\u2013149 (2007)","journal-title":"Principia"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Pecchiari, P., Talcott, C.: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. Tech. Rep. 9409-15, IRST, Trento, Italy (1994) Short version in: Proc. of the First International Workshop on Frontiers of Combining Systems (FroCoS 1996), Munich, Germany (1996)","DOI":"10.1007\/978-94-009-0349-4_8"},{"key":"3_CR11","unstructured":"Herrera, M., Roberts, D.C., Gulbahce, N.: Mapping the Evolution of Scientific Ideas (April 7, 2009) (preprint) arXiv:0904.1234v1"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"20","DOI":"10.2307\/2269179","volume":"5","author":"A. Lautman","year":"1940","unstructured":"Lautman, A.: Essai sur les Notions de Structure et d\u2019Existence en Math\u00e9matiques. J. Symbolic Logic\u00a05(1), 20\u201322 (1940)","journal-title":"J. Symbolic Logic"},{"key":"3_CR13","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"issue":"2","key":"3_CR14","first-page":"3","volume":"6","author":"P. Maret","year":"2009","unstructured":"Maret, P., Calmet, J.: Agent-Based Knowledge Communities. IJCSA\u00a06(2), 3\u201321 (2009)","journal-title":"IJCSA"},{"key":"3_CR15","series-title":"Legal Reasoning","volume-title":"A Treatise of Legal Philosophy and General Jurisprudence","author":"G. Sartor","year":"2005","unstructured":"Sartor, G.: A Treatise of Legal Philosophy and General Jurisprudence. Legal Reasoning, vol.\u00a05. Springer, Heidelberg (2005) (Volume not available separately)"},{"key":"3_CR16","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-0-387-84837-2_51","volume-title":"Pervasive Collaborative Networks","author":"J. Subercaze","year":"2008","unstructured":"Subercaze, J., Maret, P., Calmet, J., Pawar, P.: A service oriented framework for mobile business virtual communities. In: Camarinha-Matos, L.M., Picard, W. (eds.) Pervasive Collaborative Networks. IFIP International Federation for Information Processing, vol.\u00a0283, pp. 493\u2013500. Springer, Boston (2008)"},{"key":"3_CR17","unstructured":"Wirth, C.-P., Siekmann, J., Benzmueller, C., Autexier, S.: Lectures on Jacques Herbrand as a Logician. SEKI Report SR200901, DFKI Saarbruecken (2009)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media (2002)","DOI":"10.1115\/1.1553433"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02614-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,20]],"date-time":"2020-05-20T05:39:27Z","timestamp":1589953167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}