Livros sobre o tema "Formal and symbolic calculation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores livros para estudos sobre o assunto "Formal and symbolic calculation".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Encontre o texto completo da fonteGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Encontre o texto completo da fonteModern formal logic. New York: Macmillan, 1989.
Encontre o texto completo da fonteJones, 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 completo da fonteB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Encontre o texto completo da fonteJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Encontre o texto completo da fonteJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Encontre o texto completo da fonte1930-1971, Montague Richard, Mar Gary e Fogelin Robert J, eds. Logic: Techniques of formal reasoning. 2a ed. Australia: Wadsworth/Thomson Learning, 2002.
Encontre o texto completo da fonteKalish, Donald. Logic: Techniques of formal reasoning. Editado por Fogelin Robert J, Montague Richard 1930-1971 e Mar Gary. 2a ed. New York: Oxford University Press, 1992.
Encontre o texto completo da fonteSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Encontre o texto completo da fonteLogic: An emphasis on formal logic. New York: Oxford University Press, 2016.
Encontre o texto completo da fonteLogic: An emphasis on formal logic. 2a ed. New York: Oxford University Press, 2013.
Encontre o texto completo da fonteIrish 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.
Encontre o texto completo da fonteBonzon, Pierre. Formal Aspects of Context. Dordrecht: Springer Netherlands, 2000.
Encontre o texto completo da fonteHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Encontre o texto completo da fonteŁukasiewicz, Jan. Aristotle's syllogistic from the standpoint of modern formal logic. New York: Garland Pub., 1987.
Encontre o texto completo da fonteStraubing, Howard. Finite automata, formal logic, and circuit complexity. Boston: Birkhäuser, 1994.
Encontre o texto completo da fonteThe formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.
Encontre o texto completo da fonteStrehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen: Shaker Verlag, 2000.
Encontre o texto completo da fonteDowsing, R. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific, 1986.
Encontre o texto completo da fonte1968-, Lawry Jonathan, Shanahan James G e Ralescu Anca L. 1949-, eds. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Encontre o texto completo da fonteCasadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.
Encontre o texto completo da fonteJ, Rayward-Smith V., e Walter C. D, eds. A first course in formal logic and its applications in computer science. Oxford: Blackwell Scientific Publications, 1986.
Encontre o texto completo da fonteMirrors of infinity: The French formal garden and 17th-century metaphysics. New York: Princeton Architectural Press, 1995.
Encontre o texto completo da fonteInternational Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.
Encontre o texto completo da fonteInternational 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.
Encontre o texto completo da fonteAlexander, Clark, Coste François e 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.
Encontre o texto completo da fonte1963-, Carrasco Rafael C., Oncina Jose 1962- e 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.
Encontre o texto completo da fonteColloquium 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.
Encontre o texto completo da fonteInternational 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.
Encontre o texto completo da fonteVasant, Honavar, Slutzki Giora e 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.
Encontre o texto completo da fonteFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Encontre o texto completo da fonteRudolf, Wille, ed. Formal concept analysis: Mathematical foundations. Berlin: Springer, 1999.
Encontre o texto completo da fonte(Tamás), Gergely T., ed. Cognitive reasoning: A formal approach. Heidelberg: Springer, 2010.
Encontre o texto completo da fonteGregory, Paul A. Formal Logic. Broadview Press, 2017.
Encontre o texto completo da fonteGregory, Paul A. Formal Logic. Broadview Press, 2017.
Encontre o texto completo da fonteHackstaff, L. H. Systems of Formal Logic. Springer London, Limited, 2012.
Encontre o texto completo da fonteHackstaff, L. H. Systems of Formal Logic. Springer, 2011.
Encontre o texto completo da fonteIntroductory symbolic logic without formal proofs. 3a ed. Stipes, 1985.
Encontre o texto completo da fonteSchedler, George. Introductory symbolic logic without formal proofs. 5a ed. Stipes, 1991.
Encontre o texto completo da fonteIntroductory symbolic logic without formal proofs. stipes, 2010.
Encontre o texto completo da fonteMeixner, Uwe. Axiomatic Formal Ontology. Springer, 2014.
Encontre o texto completo da fonteSmith, Peter. Introduction to Formal Logic. University of Cambridge ESOL Examinations, 2020.
Encontre o texto completo da fonteHoyningen-Huene, Paul. Formal Logic: A Philosophical Approach. University of Pittsburgh Press, 2004.
Encontre o texto completo da fonteGirard, Patrick, Mathieu Marion e Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Encontre o texto completo da fonteGirard, Patrick, Mathieu Marion e Olivier Roy. Dynamic Formal Epistemology. Springer, 2013.
Encontre o texto completo da fonteGirard, Patrick, Mathieu Marion e Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.
Encontre o texto completo da fonteJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Springer, 2002.
Encontre o texto completo da fonteJeffrey e Richard C. Jeffrey. Formal Logic: Scope and Limit. 3a ed. McGraw-Hill Companies, 1991.
Encontre o texto completo da fonteIntroducción a la lógica formal. Madrid, Spain: Alianza, 2016.
Encontre o texto completo da fonte