{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:29:13Z","timestamp":1743107353466,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_20","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T05:17:05Z","timestamp":1294377425000},"page":"246-251","source":"Crossref","is-referenced-by-count":0,"title":["Logistica 2.0: A Technology for Implementing Automatic Deduction Systems"],"prefix":"10.1007","author":[{"given":"Frank M.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Araya, C., Brown, F.M.: Schemata: A Language for Deduction. In: 9th. European Conference on Artificial Intelligence, Stockholm, Sweden (1990)"},{"key":"20_CR2","volume-title":"A Computational Logic","author":"R.S. Boyer","year":"1981","unstructured":"Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, New York (1981)"},{"key":"20_CR3","volume-title":"The Correctness Problem in Computer Science","author":"R.S. Boyer","year":"1981","unstructured":"Boyer, R.S., Moore, J.S.: Metafunctions: proving them correct and using them efficiently as new proof procedures. In: Boyer, R.S., Moore, J.S. (eds.) The Correctness Problem in Computer Science. Academic Press, New York (1981)"},{"key":"20_CR4","unstructured":"Brown, F.M.: The Theory of Meaning, Department of Artificial Intelligence Research Report 35, University of Edinburgh, June 1977, University of Edinburgh, Edinburgh Artificial Intelligence Research Papers 1973-1986, Scientific Datalink microfische (1989)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Brown, F.M.: Towards the Automation of Set Theory and its Logic. Artificial Intelligence\u00a010 (1978)","DOI":"10.1016\/S0004-3702(78)80017-4"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Brown, F.M.: An investigation into the goals of research in Automatic Theorem Proving as related to Mathematical Reasoning. Artificial Intelligence (1980)","DOI":"10.1016\/0004-3702(80)90049-1"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0004-3702(86)90011-1","volume":"30","author":"F.M. Brown","year":"1986","unstructured":"Brown, F.M.: An Experimental Logic based on the Fundamental Deduction Principal. Artificial Intelligence\u00a030(2), 117\u2013263 (1986)","journal-title":"Artificial Intelligence"},{"key":"20_CR8","unstructured":"Brown, F.M.: Prologue to a Theory of Design Change and its Automation. In: Proceedings Mid-America Conference on Intelligent Systems (1994)"},{"key":"20_CR9","unstructured":"Brown, F.M., Leasure, D.: Proving Schematic Metatheorems by Induction. In: Procedings of the Fourth Midwest Artificial Intelligence and Cognitive Science Society Conference (1992)"},{"key":"20_CR10","unstructured":"Brown, F.M., Leasure, D.E., Peterson, N.: Logistica: A High-Level Programming language for Implementing Design Verification Systems. In: AAAI workshop on Systems Engineering (June 1993)"},{"key":"20_CR11","unstructured":"Brown, F.M., Liu, P.: A Logic Programming and Verification System for Recursive Quantificational Logic. In: International Joint Conference on Artificial Intelligence, vol.\u00a085 (August 1985)"},{"key":"20_CR12","volume-title":"Annals of Mathematical Studies","author":"A. Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda-Conversion. In: Annals of Mathematical Studies, vol.\u00a06. Princeton University Press, Princeton (1941)"},{"key":"20_CR13","unstructured":"Hayes, P.J.: Computation as Deduction. In: Proceedings 2nd MFCS Symposium, Czechoslovakia Academy of Sciences, Prague, Czechoslovakia (1973)"},{"key":"20_CR14","unstructured":"Kelsey, K., et al.: Revised5 Report on the Algorithmic Language Scheme. February 20 (1988), \n                      http:\/\/download.plt-scheme.org\/doc\/203\/html\/r5rs\/index.htm"},{"key":"20_CR15","volume-title":"Proceedings of IFIP74","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R.: Predicate Logic as Programming Language. In: Proceedings of IFIP74. North-Holland, Amsterdam (1974)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Algorithm = Logic + Control. In: CACM (August 1979)","DOI":"10.1145\/359131.359136"},{"key":"20_CR17","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"LISP1.5 Programmers\u2019 Manual","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J., et al.: LISP1.5 Programmers\u2019 Manual. MIT Press, Cambridge (1962)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T00:16:29Z","timestamp":1675728989000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}