Libros sobre el tema "Formal and symbolic calculation"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Formal and symbolic calculation".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Buscar texto completoGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Buscar texto completoModern formal logic. New York: Macmillan, 1989.
Buscar texto completoJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1101-4.
Texto completoB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Buscar texto completoJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Buscar texto completoJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Buscar texto completo1930-1971, Montague Richard, Mar Gary y Fogelin Robert J, eds. Logic: Techniques of formal reasoning. 2a ed. Australia: Wadsworth/Thomson Learning, 2002.
Buscar texto completoKalish, Donald. Logic: Techniques of formal reasoning. Editado por Fogelin Robert J, Montague Richard 1930-1971 y Mar Gary. 2a ed. New York: Oxford University Press, 1992.
Buscar texto completoSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Buscar texto completoLogic: An emphasis on formal logic. New York: Oxford University Press, 2016.
Buscar texto completoLogic: An emphasis on formal logic. 2a ed. New York: Oxford University Press, 2013.
Buscar texto completoIrish Workshop on Formal Methods (1st 1997 Dublin, Ireland). 1st Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997. London: Springer, 1997.
Buscar texto completoBonzon, Pierre. Formal Aspects of Context. Dordrecht: Springer Netherlands, 2000.
Buscar texto completoHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Buscar texto completoŁukasiewicz, Jan. Aristotle's syllogistic from the standpoint of modern formal logic. New York: Garland Pub., 1987.
Buscar texto completoStraubing, Howard. Finite automata, formal logic, and circuit complexity. Boston: Birkhäuser, 1994.
Buscar texto completoThe formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.
Buscar texto completoStrehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen: Shaker Verlag, 2000.
Buscar texto completoDowsing, R. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific, 1986.
Buscar texto completo1968-, Lawry Jonathan, Shanahan James G y Ralescu Anca L. 1949-, eds. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Buscar texto completoCasadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.
Buscar texto completoJ, Rayward-Smith V. y Walter C. D, eds. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific Publications, 1986.
Buscar texto completoMirrors of infinity: The French formal garden and 17th-century metaphysics. New York: Princeton Architectural Press, 1995.
Buscar texto completoInternational Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.
Buscar texto completoInternational Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.
Buscar texto completoAlexander, Clark, Coste François y Miclet Laurent, eds. Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.
Buscar texto completo1963-, Carrasco Rafael C., Oncina Jose 1962- y International Colloquium on Grammatical Inference (2nd : 1994 : Alicante, Spain), eds. Grammatical inference and applications: Second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings. Berlin: Springer-Verlag, 1994.
Buscar texto completoColloquium on Logic, Language, Mathematics Linguistics (3rd 1991 Brașov, Romania). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 mai 1991. Brasov: Transilvania University of Brasov, Faculty of Sciences, Dept. of Mathematics, 1991.
Buscar texto completoInternational Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.
Buscar texto completoVasant, Honavar, Slutzki Giora y International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa), eds. Grammatical inference: 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings. Berlin: Springer, 1998.
Buscar texto completoFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Buscar texto completoRudolf, Wille, ed. Formal concept analysis: Mathematical foundations. Berlin: Springer, 1999.
Buscar texto completo(Tamás), Gergely T., ed. Cognitive reasoning: A formal approach. Heidelberg: Springer, 2010.
Buscar texto completoGregory, Paul A. Formal Logic. Broadview Press, 2017.
Buscar texto completoGregory, Paul A. Formal Logic. Broadview Press, 2017.
Buscar texto completoHackstaff, L. H. Systems of Formal Logic. Springer London, Limited, 2012.
Buscar texto completoHackstaff, L. H. Systems of Formal Logic. Springer, 2011.
Buscar texto completoIntroductory symbolic logic without formal proofs. 3a ed. Stipes, 1985.
Buscar texto completoSchedler, George. Introductory symbolic logic without formal proofs. 5a ed. Stipes, 1991.
Buscar texto completoIntroductory symbolic logic without formal proofs. stipes, 2010.
Buscar texto completoMeixner, Uwe. Axiomatic Formal Ontology. Springer, 2014.
Buscar texto completoSmith, Peter. Introduction to Formal Logic. University of Cambridge ESOL Examinations, 2020.
Buscar texto completoHoyningen-Huene, Paul. Formal Logic: A Philosophical Approach. University of Pittsburgh Press, 2004.
Buscar texto completoGirard, Patrick, Mathieu Marion y Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Buscar texto completoGirard, Patrick, Mathieu Marion y Olivier Roy. Dynamic Formal Epistemology. Springer, 2013.
Buscar texto completoGirard, Patrick, Mathieu Marion y Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Buscar texto completoJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Springer, 2002.
Buscar texto completoJeffrey y Richard C. Jeffrey. Formal Logic: Scope and Limit. 3a ed. McGraw-Hill Companies, 1991.
Buscar texto completoIntroducción a la lógica formal. Madrid, Spain: Alianza, 2016.
Buscar texto completo