Bücher zum Thema „Formal and symbolic calculation“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Formal and symbolic calculation" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Den vollen Inhalt der Quelle findenGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Den vollen Inhalt der Quelle findenModern formal logic. New York: Macmillan, 1989.
Den vollen Inhalt der Quelle findenJones, 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.
Der volle Inhalt der QuelleB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Den vollen Inhalt der Quelle findenJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Den vollen Inhalt der Quelle findenJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Den vollen Inhalt der Quelle finden1930-1971, Montague Richard, Mar Gary und Fogelin Robert J, Hrsg. Logic: Techniques of formal reasoning. 2. Aufl. Australia: Wadsworth/Thomson Learning, 2002.
Den vollen Inhalt der Quelle findenKalish, Donald. Logic: Techniques of formal reasoning. Herausgegeben von Fogelin Robert J, Montague Richard 1930-1971 und Mar Gary. 2. Aufl. New York: Oxford University Press, 1992.
Den vollen Inhalt der Quelle findenSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Den vollen Inhalt der Quelle findenLogic: An emphasis on formal logic. New York: Oxford University Press, 2016.
Den vollen Inhalt der Quelle findenLogic: An emphasis on formal logic. 2. Aufl. New York: Oxford University Press, 2013.
Den vollen Inhalt der Quelle findenIrish 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.
Den vollen Inhalt der Quelle findenBonzon, Pierre. Formal Aspects of Context. Dordrecht: Springer Netherlands, 2000.
Den vollen Inhalt der Quelle findenHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Den vollen Inhalt der Quelle findenŁukasiewicz, Jan. Aristotle's syllogistic from the standpoint of modern formal logic. New York: Garland Pub., 1987.
Den vollen Inhalt der Quelle findenStraubing, Howard. Finite automata, formal logic, and circuit complexity. Boston: Birkhäuser, 1994.
Den vollen Inhalt der Quelle findenThe formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.
Den vollen Inhalt der Quelle findenStrehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen: Shaker Verlag, 2000.
Den vollen Inhalt der Quelle findenDowsing, R. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific, 1986.
Den vollen Inhalt der Quelle finden1968-, Lawry Jonathan, Shanahan James G und Ralescu Anca L. 1949-, Hrsg. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Den vollen Inhalt der Quelle findenCasadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.
Den vollen Inhalt der Quelle findenJ, Rayward-Smith V., und Walter C. D, Hrsg. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific Publications, 1986.
Den vollen Inhalt der Quelle findenMirrors of infinity: The French formal garden and 17th-century metaphysics. New York: Princeton Architectural Press, 1995.
Den vollen Inhalt der Quelle findenInternational Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.
Den vollen Inhalt der Quelle findenInternational 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.
Den vollen Inhalt der Quelle findenAlexander, Clark, Coste François und Miclet Laurent, Hrsg. 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.
Den vollen Inhalt der Quelle finden1963-, Carrasco Rafael C., Oncina Jose 1962- und International Colloquium on Grammatical Inference (2nd : 1994 : Alicante, Spain), Hrsg. Grammatical inference and applications: Second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings. Berlin: Springer-Verlag, 1994.
Den vollen Inhalt der Quelle findenColloquium 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.
Den vollen Inhalt der Quelle findenInternational 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.
Den vollen Inhalt der Quelle findenVasant, Honavar, Slutzki Giora und International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa), Hrsg. Grammatical inference: 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings. Berlin: Springer, 1998.
Den vollen Inhalt der Quelle findenFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Den vollen Inhalt der Quelle findenRudolf, Wille, Hrsg. Formal concept analysis: Mathematical foundations. Berlin: Springer, 1999.
Den vollen Inhalt der Quelle finden(Tamás), Gergely T., Hrsg. Cognitive reasoning: A formal approach. Heidelberg: Springer, 2010.
Den vollen Inhalt der Quelle findenGregory, Paul A. Formal Logic. Broadview Press, 2017.
Den vollen Inhalt der Quelle findenGregory, Paul A. Formal Logic. Broadview Press, 2017.
Den vollen Inhalt der Quelle findenHackstaff, L. H. Systems of Formal Logic. Springer London, Limited, 2012.
Den vollen Inhalt der Quelle findenHackstaff, L. H. Systems of Formal Logic. Springer, 2011.
Den vollen Inhalt der Quelle findenIntroductory symbolic logic without formal proofs. 3. Aufl. Stipes, 1985.
Den vollen Inhalt der Quelle findenSchedler, George. Introductory symbolic logic without formal proofs. 5. Aufl. Stipes, 1991.
Den vollen Inhalt der Quelle findenIntroductory symbolic logic without formal proofs. stipes, 2010.
Den vollen Inhalt der Quelle findenMeixner, Uwe. Axiomatic Formal Ontology. Springer, 2014.
Den vollen Inhalt der Quelle findenSmith, Peter. Introduction to Formal Logic. University of Cambridge ESOL Examinations, 2020.
Den vollen Inhalt der Quelle findenHoyningen-Huene, Paul. Formal Logic: A Philosophical Approach. University of Pittsburgh Press, 2004.
Den vollen Inhalt der Quelle findenGirard, Patrick, Mathieu Marion und Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Den vollen Inhalt der Quelle findenGirard, Patrick, Mathieu Marion und Olivier Roy. Dynamic Formal Epistemology. Springer, 2013.
Den vollen Inhalt der Quelle findenGirard, Patrick, Mathieu Marion und Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Den vollen Inhalt der Quelle findenJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Springer, 2002.
Den vollen Inhalt der Quelle findenJeffrey und Richard C. Jeffrey. Formal Logic: Scope and Limit. 3. Aufl. McGraw-Hill Companies, 1991.
Den vollen Inhalt der Quelle findenIntroducción a la lógica formal. Madrid, Spain: Alianza, 2016.
Den vollen Inhalt der Quelle finden