Zaloguj się

Gotowe bibliografie tematyczne / Formal and symbolic calculation / Książki

Książki na temat „Formal and symbolic calculation”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Formal and symbolic calculation.

Autor: Grafiati

Data publikacji: 25 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych książek naukowych na temat „Formal and symbolic calculation”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Modern formal logic. New York: Macmillan, 1989.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

1930-1971, Montague Richard, Mar Gary i Fogelin Robert J, red. Logic: Techniques of formal reasoning. Wyd. 2. Australia: Wadsworth/Thomson Learning, 2002.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Kalish, Donald. Logic: Techniques of formal reasoning. Redaktorzy Fogelin Robert J, Montague Richard 1930-1971 i Mar Gary. Wyd. 2. New York: Oxford University Press, 1992.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

Logic: An emphasis on formal logic. Wyd. 2. New York: Oxford University Press, 2013.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

17

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

31

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

32

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

33

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

39

Introductory symbolic logic without formal proofs. Wyd. 3. Stipes, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

40

Schedler, George. Introductory symbolic logic without formal proofs. Wyd. 5. Stipes, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

Introductory symbolic logic without formal proofs. stipes, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

48

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

49

Jeffrey i Richard C. Jeffrey. Formal Logic: Scope and Limit. Wyd. 3. McGraw-Hill Companies, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!