Books on the topic 'Formal and symbolic calculation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Formal and symbolic calculation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Find full textGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Find full textModern formal logic. New York: Macmillan, 1989.
Find full textJones, 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.
Full textB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Find full textJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Find full textJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Find full text1930-1971, Montague Richard, Mar Gary, and Fogelin Robert J, eds. Logic: Techniques of formal reasoning. 2nd ed. Australia: Wadsworth/Thomson Learning, 2002.
Find full textKalish, Donald. Logic: Techniques of formal reasoning. Edited by Fogelin Robert J, Montague Richard 1930-1971, and Mar Gary. 2nd ed. New York: Oxford University Press, 1992.
Find full textSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Find full textLogic: An emphasis on formal logic. New York: Oxford University Press, 2016.
Find full textLogic: An emphasis on formal logic. 2nd ed. New York: Oxford University Press, 2013.
Find full textIrish 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.
Find full textBonzon, Pierre. Formal Aspects of Context. Dordrecht: Springer Netherlands, 2000.
Find full textHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Find full textŁukasiewicz, Jan. Aristotle's syllogistic from the standpoint of modern formal logic. New York: Garland Pub., 1987.
Find full textStraubing, Howard. Finite automata, formal logic, and circuit complexity. Boston: Birkhäuser, 1994.
Find full textThe formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.
Find full textStrehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen: Shaker Verlag, 2000.
Find full textDowsing, R. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific, 1986.
Find full text1968-, Lawry Jonathan, Shanahan James G, and Ralescu Anca L. 1949-, eds. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Find full textCasadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.
Find full textJ, Rayward-Smith V., and Walter C. D, eds. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific Publications, 1986.
Find full textMirrors of infinity: The French formal garden and 17th-century metaphysics. New York: Princeton Architectural Press, 1995.
Find full textInternational Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.
Find full textInternational 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.
Find full textAlexander, Clark, Coste François, and 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.
Find full text1963-, Carrasco Rafael C., Oncina Jose 1962-, and 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.
Find full textColloquium 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.
Find full textInternational 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.
Find full textVasant, Honavar, Slutzki Giora, and 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.
Find full textFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Find full textRudolf, Wille, ed. Formal concept analysis: Mathematical foundations. Berlin: Springer, 1999.
Find full text(Tamás), Gergely T., ed. Cognitive reasoning: A formal approach. Heidelberg: Springer, 2010.
Find full textGregory, Paul A. Formal Logic. Broadview Press, 2017.
Find full textGregory, Paul A. Formal Logic. Broadview Press, 2017.
Find full textHackstaff, L. H. Systems of Formal Logic. Springer London, Limited, 2012.
Find full textHackstaff, L. H. Systems of Formal Logic. Springer, 2011.
Find full textIntroductory symbolic logic without formal proofs. 3rd ed. Stipes, 1985.
Find full textSchedler, George. Introductory symbolic logic without formal proofs. 5th ed. Stipes, 1991.
Find full textIntroductory symbolic logic without formal proofs. stipes, 2010.
Find full textMeixner, Uwe. Axiomatic Formal Ontology. Springer, 2014.
Find full textSmith, Peter. Introduction to Formal Logic. University of Cambridge ESOL Examinations, 2020.
Find full textHoyningen-Huene, Paul. Formal Logic: A Philosophical Approach. University of Pittsburgh Press, 2004.
Find full textGirard, Patrick, Mathieu Marion, and Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Find full textGirard, Patrick, Mathieu Marion, and Olivier Roy. Dynamic Formal Epistemology. Springer, 2013.
Find full textGirard, Patrick, Mathieu Marion, and Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Find full textJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Springer, 2002.
Find full textJeffrey and Richard C. Jeffrey. Formal Logic: Scope and Limit. 3rd ed. McGraw-Hill Companies, 1991.
Find full textIntroducción a la lógica formal. Madrid, Spain: Alianza, 2016.
Find full text