Se connecter

Bibliographies thématiques / Formal and symbolic calculation / Livres

Livres sur le sujet « Formal and symbolic calculation »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Formal and symbolic calculation.

Auteur : Grafiati

Publié le 25 mai 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Formal and symbolic calculation ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.

1

Meixner, Uwe. Axiomatic formal ontology. Dordrecht : Kluwer Academic Publishers, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Guerrero, Luis Ignacio. Logica : El razonamiento deductiuo formal. Ciudad de Mexico : Universidad Panamericana, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Modern formal logic. New York : Macmillan, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Jones, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

B, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA : Springer US, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Jones, Robert B. Symbolic simulation methods for industrial formal verification. Boston : Kluwer Academic Publishers, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Jago, Mark. Formal logic. Penrith : Humanities-Ebooks, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

1930-1971, Montague Richard, Mar Gary et Fogelin Robert J, dir. Logic : Techniques of formal reasoning. 2^e éd. Australia : Wadsworth/Thomson Learning, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Kalish, Donald. Logic : Techniques of formal reasoning. Sous la direction de Fogelin Robert J, Montague Richard 1930-1971 et Mar Gary. 2^e éd. New York : Oxford University Press, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Simple formal logic : With common-sense symbolic techniques. New York : Routledge, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Logic : An emphasis on formal logic. New York : Oxford University Press, 2016.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Logic : An emphasis on formal logic. 2^e éd. New York : Oxford University Press, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Irish 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Bonzon, Pierre. Formal Aspects of Context. Dordrecht : Springer Netherlands, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Hees, Martin van. Rights and decisions : Formal models of law and liberalism. Dordrecht : Kluwer Academic, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Łukasiewicz, Jan. Aristotle's syllogistic from the standpoint of modern formal logic. New York : Garland Pub., 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Straubing, Howard. Finite automata, formal logic, and circuit complexity. Boston : Birkhäuser, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

The formal semantics of programming languages : An introduction. Cambridge, Mass : MIT Press, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Strehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen : Shaker Verlag, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Dowsing, R. A first course in formal logic and its applications in computer science. Oxford : Blackwell Scientific, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

1968-, Lawry Jonathan, Shanahan James G et Ralescu Anca L. 1949-, dir. Modelling with words : Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin : Springer, 2003.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Casadio, C. Logic for grammar : Developments in linear logic and formal linguistics. Roma : Bulzoni, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

J, Rayward-Smith V., et Walter C. D, dir. A first course in formal logic and its applications in computer science. Oxford : Blackwell Scientific Publications, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Mirrors of infinity : The French formal garden and 17th-century metaphysics. New York : Princeton Architectural Press, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

International Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference : theoretical results and applications : 10th international colloquium ; proceedings. Berlin : Springer, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

International 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Alexander, Clark, Coste François et Miclet Laurent, dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

1963-, Carrasco Rafael C., Oncina Jose 1962- et International Colloquium on Grammatical Inference (2nd : 1994 : Alicante, Spain), dir. Grammatical inference and applications : Second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings. Berlin : Springer-Verlag, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Colloquium on Logic, Language, Mathematics Linguistics (3rd 1991 Braș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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

International 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Vasant, Honavar, Slutzki Giora et International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa), dir. Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings. Berlin : Springer, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Fülöp, Zoltán. Syntax-Directed Semantics : Formal Models Based on Tree Transducers. Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Rudolf, Wille, dir. Formal concept analysis : Mathematical foundations. Berlin : Springer, 1999.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

(Tamás), Gergely T., dir. Cognitive reasoning : A formal approach. Heidelberg : Springer, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Gregory, Paul A. Formal Logic. Broadview Press, 2017.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Gregory, Paul A. Formal Logic. Broadview Press, 2017.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Hackstaff, L. H. Systems of Formal Logic. Springer London, Limited, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Hackstaff, L. H. Systems of Formal Logic. Springer, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

Introductory symbolic logic without formal proofs. 3^e éd. Stipes, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Schedler, George. Introductory symbolic logic without formal proofs. 5^e éd. Stipes, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Introductory symbolic logic without formal proofs. stipes, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Meixner, Uwe. Axiomatic Formal Ontology. Springer, 2014.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Smith, Peter. Introduction to Formal Logic. University of Cambridge ESOL Examinations, 2020.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Hoyningen-Huene, Paul. Formal Logic : A Philosophical Approach. University of Pittsburgh Press, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Girard, Patrick, Mathieu Marion et Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Girard, Patrick, Mathieu Marion et Olivier Roy. Dynamic Formal Epistemology. Springer, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Girard, Patrick, Mathieu Marion et Olivier Roy. Dynamic Formal Epistemology. Springer, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Jones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Springer, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Jeffrey et Richard C. Jeffrey. Formal Logic : Scope and Limit. 3^e éd. McGraw-Hill Companies, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Introducción a la lógica formal. Madrid, Spain : Alianza, 2016.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!