{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:44Z","timestamp":1725663824014},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:59Z","timestamp":1330260539000},"page":"224-236","source":"Crossref","is-referenced-by-count":1,"title":["A desk-top sequent calculus machine"],"prefix":"10.1007","author":[{"given":"G.","family":"Cioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Colagrossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Miola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"16_CR1","unstructured":"Cioni G., Colagrossi A., Miola A.: A sequent Calculus for Automated Reasoning, submitted for the pubblication, (1991)."},{"key":"16_CR2","unstructured":"Limongelli C., Miola A., Temperini M.: Design and Implementation of Symbolic Computation Systems, Proc. IFIP W.G. 2.5 Conference, North Holland, (1991)."},{"key":"16_CR3","unstructured":"Bonamico S., Cioni G., Colagrossi A.: A Gentzen Based Deduction Method for mathematical problems solving, in Computer Systems and Applications, E. Balagurusamy and B. Sushila (eds.), Tata McGraw-Hill, (1990)."},{"key":"16_CR4","unstructured":"Kreczmar A., Salwicki A., Warpechowski M.: LOGLAN'88 \u2014 Report on the Programming Language, LNCS 414, Springer Verlag, (1990)."},{"key":"16_CR5","unstructured":"Regio M., Temperini M.: Object Oriented Methodology for the Specification and Treatment of Mathematical Objects, in Computer Systems and Applications, E. Balagurusamy and B. Sushila (eds.), Tata McGraw-Hill, (1990)."},{"key":"16_CR6","unstructured":"Chang C., Lee R.C.: Logica simbolica, Tecniche Nuove, (1988)."},{"key":"16_CR7","unstructured":"Bonamico S., Cioni G.: Embedding flexible control strategies into object oriented languages, Proc. AAECC 6, LNCS 357, Springer Verlag, (1988)."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:03:43Z","timestamp":1619571823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}