{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:23Z","timestamp":1725663803810},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:56:35Z","timestamp":1330210595000},"page":"243-255","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Computation and Artificial Intelligence"],"prefix":"10.1007","author":[{"given":"Alfonso","family":"Miola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated theorem proving","author":"W. Bibel","year":"1987","unstructured":"Bibel, W., Automated theorem proving, II Ed., Fried. Vieweg & Sohn, Braunschweig\/Wiesbaden, (1987).","edition":"II Ed."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Bonamico, S., Cioni, G., Embedding flexible control strategies into object oriented languages, LNCS 357, Springer Verlag, (1989).","DOI":"10.1007\/3-540-51083-4_80"},{"key":"20_CR3","unstructured":"Bonamico, S., Cioni, G., Colagrossi, A., A Gentzen based deduction method for the propositional theory, Rapp. IASI 289, (1990)."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Buchberger, B., Collins, G.E., Loos, R.G.K., (eds.), Computer Algebra \u2014 Symbolic and Algebraic Computation, 2nd ed., Springer-Verlag, (1983).","DOI":"10.1007\/978-3-7091-7551-4_2"},{"key":"20_CR5","unstructured":"Buchberger, B., An Algorithm for Finding a Basis for the Residue Class Ring of a zero-dimensional polynomial Ideal, Ph.D. Thesis, Univ. Innsbruck (Austria), (1965)."},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(87)80020-2","volume":"3","author":"B. Buchberger","year":"1987","unstructured":"Buchberger, B., History of Basic Features of the Critical-Pair\/Completion Procedure, J. Symb. Comp., 3:3\u201338, (1987).","journal-title":"J. Symb. Comp."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0747-7171(86)80025-6","volume":"2","author":"B.F. Caviness","year":"1986","unstructured":"Caviness, B.F., Computer Algebra: Past and Future, J. Symb. Comp., 2:217\u2013236, (1986).","journal-title":"J. Symb. Comp."},{"key":"20_CR8","unstructured":"Davenport, J.H., Siret, Y., Tournier, E., Computer Algebra \u2014 Systems and Algorithms for Algebraic Computation, Academic Press, (1988)."},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1126\/science.168.3939.1569","volume":"168","author":"A. Deprit","year":"1970","unstructured":"Deprit, A., et al., Lunar ephemeris: Delunay's theory revised, Science, 168:1569\u20131570, (1970).","journal-title":"Science"},{"key":"20_CR10","unstructured":"Forcellese, G., Temperini, M., A system for automated deduction based on the Connection Method, Rapp. IASI 268, (1989)."},{"key":"20_CR11","unstructured":"Forcellese, G., Temperini, M., Towards a logic language: an object-oriented implementation of the Connection Method, LNCS 429, Springer Verlag, (1990)."},{"key":"20_CR12","unstructured":"Gallier, J.H., Logic for Computer Science, Harper & Row Publishers, (1986)."},{"key":"20_CR13","unstructured":"Rewriting Rules Techniques and Applications, Special Issue of the J. Symbolic Computation, 1\/2, (1987)."},{"key":"20_CR14","volume-title":"Analytic Differentiation by a Digital Computer","author":"H.G. Kahrimanian","year":"1953","unstructured":"Kahrimanian, H.G., Analytic Differentiation by a Digital Computer, M.A. Thesis, Temple Univ., Philadelphia, Pennsylvania, (1953)."},{"key":"20_CR15","unstructured":"Knuth, D.E., bendix, P.B., Simple Word Problems in Universal Algebra, Proc. Conf. on Computational Problems in Abstract Algebra, Pergamon Press, (1970)"},{"key":"20_CR16","unstructured":"Kowalski, R., Logic for Problem Solving, The Computer Science Library, (1983)."},{"key":"20_CR17","unstructured":"Kreczmar, A., et al., LOGLAN '88 \u2014 Report on the Programming Language, LNCS 414, Springer Verlag, (1990)."},{"key":"20_CR18","first-page":"61","volume":"429","author":"C. Limongelli","year":"1990","unstructured":"Limongelli, C., et al., Abstract Specification of Mathematical Structures and Methods, LNCS, 429:61\u201370, Springer Verlag, (1990).","journal-title":"LNCS"},{"key":"20_CR19","unstructured":"Miola, A., Symbolic Computation Systems, In: Encyclopedia of Computer Science and Technology, (Kent, A., Williams, J.G., eds.), Marcel Dekker, to appear, (1991)."},{"key":"20_CR20","unstructured":"Miola, A., Limongelli, C., The amalgamation of numeric and algebraic computations in a single integrated computing environment, Rapp. DIS 18.88, (1988)."},{"key":"20_CR21","unstructured":"Miola, A., (ed.): Computing tools for scientific problems solving, Academic Press, (1990)."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Miola, A., (Ed.): Design and Implementation of Symbolic Computation Systems, LNCS 429, Springer Verlag, (1990).","DOI":"10.1007\/3-540-52531-9"},{"key":"20_CR23","unstructured":"Mirkowska, G., Salwicki, A., Algorithmic logic, PWN Warszawa & D. Reidel Publishing Company, (1987)."},{"key":"20_CR24","volume-title":"Analytic Differentiation on a Digital Computer","author":"J. Nolan","year":"1953","unstructured":"Nolan, J., Analytic Differentiation on a Digital Computer, M.A. Thesis, M.I.T., Math. Dept., Cambridge, Massachusetts, (1953)."},{"key":"20_CR25","unstructured":"Regio, M., Temperini, M., A short review on Object Oriented Programming: Methodology and language implementations, Proc. ACM Sympos. on Personal and Small Computers, (1990)."},{"key":"20_CR26","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1090\/S0002-9947-1969-0237477-8","volume":"139","author":"R.H. Risch","year":"1969","unstructured":"Risch, R.H., The problem of Integration in Finite Terms, Trans. A.M.S., 139:167\u2013189, (1969).","journal-title":"Trans. A.M.S."},{"issue":"1","key":"20_CR27","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A., A machine Oriented Logic Based on resolution Principle, J. ACM, 12\/1:23\u201341, (1965).","journal-title":"J. ACM"},{"key":"20_CR28","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J.H. Siekmann","year":"1989","unstructured":"Siekmann, J.H., Unification Theory, J. Symb. Comp. 7:207\u2013274, (1989).","journal-title":"J. Symb. Comp."},{"key":"20_CR29","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1145\/321186.321193","volume":"10","author":"J.R. Slagle","year":"1963","unstructured":"Slagle, J.R., A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, J. ACM, 10:507\u2013520, (1963).","journal-title":"J. ACM"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Stroustrup, B., What is Object-Oriented Programming, ECOOP 87, (1987).","DOI":"10.1007\/3-540-47891-4_6"},{"key":"20_CR31","unstructured":"Yun, D.Y.Y., Stoutemyer, R.D., Symbolic Mathematical Computation. In: Encyclopedia of Computer Science and Technology, Vol.15, (Belzer, J., Holzman, A.G., Kent, A., eds.), Marcel Dekker, 235\u2013310, (1980)."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:51:57Z","timestamp":1640922717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}