{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:15Z","timestamp":1725574275615},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202820"},{"type":"electronic","value":"9783540396192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39619-2_15","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T07:18:11Z","timestamp":1294384691000},"page":"118-126","source":"Crossref","is-referenced-by-count":0,"title":["An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma"],"prefix":"10.1007","author":[{"given":"I.","family":"Rodr\u00edguez-Daza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Roanes-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. M.","family":"Crespo-Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Maojo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"de Ledesma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/003","volume-title":"An Introduction to Gr\u00f6bner Bases","author":"W.W. Adams","year":"1994","unstructured":"Adams, W.W., Loustaunau, P.: An Introduction to Gr\u00f6bner Bases. Graduate Studies in Mathematics. American Mathematical Society, Providence (1994)"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1164\/ajrccm.156.1.ats156.1","volume":"156","author":"American Thoracic Society & European Respiratory Society","year":"1997","unstructured":"American Thoracic Society & European Respiratory Society, Pretreatment evaluation of non-small-cell lung cancer. Am. J. Respir. Crit. Care Med.\u00a0156, 320\u2013332 (1997)","journal-title":"Am. J. Respir. Crit. Care Med."},{"unstructured":"Baladr\u00f3n, J.: Neumolog\u00eda y Cirug\u00eda Tor\u00e1cica. Curso intensivo MIR Asturias, SL, Oviedo (1999)","key":"15_CR3"},{"volume-title":"Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","year":"1984","unstructured":"Buchanan, B., Shortliffe, E.H. (eds.): Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison Wesley, New York (1984)","key":"15_CR4"},{"unstructured":"Capani, G.: Niesi, CoCoA User\u2019s Manual v. 3.0b, Dept. of Mathematics - University of Genova, Genova (1996)","key":"15_CR5"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0747-7171(08)80043-0","volume":"11","author":"J. Chazarain","year":"1991","unstructured":"Chazarain, J., Riscos, A., Alonso, J.A., Briales, E.: Multivalued Logic and Gr\u00f6bner Bases with Applications to Modal Logic. J. Symb. Comp.\u00a011, 181\u2013194 (1991)","journal-title":"J. Symb. Comp."},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"Hsiang, J.: Refutational Theorem Proving using Term-Rewriting Systems. Art. Intell.\u00a025, 255\u2013300 (1985)","journal-title":"Art. Intell."},{"unstructured":"Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First- Order Predicate Calculus. General Electric Corporate Research and Development Report 84CRD296, Schenectady, NY (March 1984), rev. (December 1984), Also in: Proceedings of IJCAI 1985, pp. 1446\u20131156 (1985)","key":"15_CR8"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s005000050086","volume":"3","author":"L.M. Laita","year":"1999","unstructured":"Laita, L.M., Roanes-Lozano, E., de Ledesma, L., Alonso, J.A.: A Computer Algebra Approach to Verification and Deduction in Many-Valued Knowledge Systems. Soft. Comp.\u00a03(1), 7\u201319 (1999)","journal-title":"Soft. Comp."},{"issue":"12","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1016\/S0898-1221(01)00258-9","volume":"42","author":"L.M. Laita","year":"2001","unstructured":"Laita, L.M., Roanes-Lozano, E., Maojo, V., de Ledesma, L., Laita, L.: An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques. Comp. Math. Appl.\u00a042(12), 1505\u20131522 (2001)","journal-title":"Comp. Math. Appl."},{"unstructured":"L\u00f3pez-Encuentra, M.J.: Linares-Asensio, Carcinoma Broncog\u00e9nico. Pautas de Pr\u00e1ctica Cl\u00ednica en Neumolog\u00eda, Idepsa, Madrid, 177\u2013185 (1996)","key":"15_CR11"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0378-4754(01)00370-6","volume":"58","author":"C. P\u00e9rez","year":"2002","unstructured":"P\u00e9rez, C., Laita, L.M., Roanes-Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Math. Comp. Simul.\u00a058, 183\u2013202 (2002)","journal-title":"Math. Comp. Simul."},{"unstructured":"Perkinson, D.: CoCoA 4.0 Online Help-electronic file acompanying CoCoA v.4.0 (2000)","key":"15_CR13"},{"unstructured":"Rodr\u00edguez Daza, I., Laita, L.M.: Desarrollo y verificaci\u00f3n de un sistema experto para el diagn\u00f3stico y clasificaci\u00f3n de los tumores broncog\u00e9nicos, Ltd. dissertation, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid (2002)","key":"15_CR14"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45","author":"E. Roanes-Lozano","year":"1998","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Mac\u00edas, E.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Math. Comp. Simul.\u00a045(1), 83\u201399 (1998)","journal-title":"Math. Comp. Simul."},{"issue":"5","key":"15_CR16","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S0378-4754(99)00137-8","volume":"51","author":"E. Roanes-Lozano","year":"2000","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: Railway interlocking systems and Gr\u00f6bner bases. Math. Comp. Simul.\u00a051(5), 473\u2013481 (2000)","journal-title":"Math. Comp. Simul."},{"key":"15_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6571-3","volume-title":"Polynomial Algorithms in Computer Algebra","author":"F. Winkler","year":"1996","unstructured":"Winkler, F.: Polynomial Algorithms in Computer Algebra. Springer, Vienna (1996)"},{"unstructured":"Winkler, F.: Protocolo de actuaci\u00f3n en tumor pulmonar (Servicio de Neumolog\u00eda, Hospital Virgen de la Salud, Toledo, not dated)","key":"15_CR18"},{"unstructured":"Winkler, F.: Normativa SEPAR sobre Diagn\u00f3stico y estadificaci\u00f3n del Carcinoma Broncog \u00e9nico, Sociedad Espa\u00f1ola de Neumolog\u00eda y Cirug\u00eda Tor\u00e1cica, Madrid (1996), See also \n                    \n                      http:\/\/www.separ.es","key":"15_CR19"}],"container-title":["Lecture Notes in Computer Science","Medical Data Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39619-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:15:48Z","timestamp":1553318148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39619-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202820","9783540396192"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39619-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}