Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

41
Published 2000
Springer US
Table of Contents: “...I Introduction to Logic-Based Artificial Intelligence -- 1 Introduction to Logic-Based Artificial...”
Cover Image
Read Now

42
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming...”
Cover Image
Read Now

43
by Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

44
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Table of Contents: “...Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi...”
Cover Image
Read Now

45
by García de la Sienra, Adolfo
Published 1992
Springer Netherlands
Table of Contents: “... of the prototype -- 1.3 Mathematical modeling of the prototype -- 2 The Problem of Foundations -- 2.1 The sense...”
Cover Image
Read Now

46
Published 2023
Springer International Publishing
Table of Contents: “...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case...”
Cover Image
Read Now

47
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: “... AND MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard...”
Cover Image
Read Now

48
by Cohen, L. Jonathan
Published 1982
North-Holland Pub. Co.
Table of Contents: “.... The Case of Sociology; PART 7. FOUNDATIONS OF PROBABILITY AND INDUCTION; Chapter 29. Probability...”
Cover Image
Read Now

49
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Packaging Mathematical Structures -- Practical Tactics for Separation Logic -- Verified LISP Implementations...”
Cover Image
Read Now

50
by Johnson, D.L.
Published 1998
Springer London
Table of Contents: “.... Logic -- 2.1 Propositions -- 2.2 Truth Tables -- 2.3 Syllogisms -- 2.4 Quantifiers -- 3. Sets -- 3.1...”
Cover Image
Read Now

51
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

52
by Coletti, Giulianella, Scozzafava, R.
Published 2002
Springer Netherlands
Table of Contents: “... as Propositions -- 2.1 Basic concepts -- 2.2 From “belief” to logic? -- 2.3 Operations -- 2.4 Atoms (or “possible...”
Cover Image
Read Now

53
by Harrison, J.
Published 2009
Cambridge University Press
Table of Contents: “... Prettyprinting -- 2. Propositional logic. 2.1 The syntax of propositional logic ; 2.2 The semantics...”
Cover Image
Read Now

54
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation...”
Cover Image
Read Now

55
by Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, Luciano
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 1.1 A Little History -- 1.2 Advantages of Asynchronous Logic -- 1.3 Asynchronous...”
Cover Image
Read Now

56
Published 2019
Springer International Publishing
Table of Contents: “... Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient...”
Cover Image
Read Now

57
by Oddie, G.
Published 1986
Springer Netherlands
Table of Contents: “... in Popper’s methodology -- 2.2 Truthlikeness by truth content and falsity content -- 2.3 Measuring truth...”
Cover Image
Read Now

58
by Marcja, Annalisa, Toffalori, Carlo
Published 2003
Springer Netherlands
Table of Contents: “... -- Quantifier Elimination -- 2.1 Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders...”
Cover Image
Read Now

59
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Table of Contents: “...Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic...”
Cover Image
Read Now

60
by Menger, Karl
Published 1979
Springer Netherlands
Table of Contents: “...I. Papers Introducing Logical Tolerance -- Logical Tolerance in the Vienna Circle -- 1 The New...”