Cover Image
Read Now

1
by Shagrir, Oron
Published 2022
Oxford University Press
Subjects: “...Computer science / bicssc...”
Cover Image
Read Now

2
Published 1997
Springer Netherlands
Table of Contents: “...1. Recent Issues in Logic, Language and Computation -- 2. Restricted Quantification -- 3...”
Cover Image
Read Now

3
by László, Kóczy
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...granular computing...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Subjects: “...Natural language processing (Computer science)...”
Cover Image
Read Now

5
Published 2008
Springer Milan
Table of Contents: “... the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations...”
Cover Image
Read Now

6
Published 2011
Springer Netherlands
Table of Contents: “...; Wilfrid Hodges -- 5. Deductive Systems of Fuzzy Logic; Petr Hájek -- III LOGIC AND COMPUTATION -- 6. What...”
Cover Image
Read Now

7
Published 2001
Springer Netherlands
Table of Contents: “... for intensional entities -- Nominalist paraphrase and ontological commitment -- Peace, justice and computation...”
Cover Image
Read Now

8
by Brasoveanu, Adrian
Published 2020
Springer Nature
“... code for these models and shows how to fit them to real-time experimental data. This computational...”
Cover Image
Read Now

9
Published 2000
Springer Netherlands
“... and computational logic, ranging across automated deduction, logic programming, the logic-based approach...”
Cover Image
Read Now

10
Published 1995
Springer Netherlands
Table of Contents: “... Operations on Spaces of Structures -- Model Theory of Topological Structures -- Computable Quantifiers...”
Cover Image
Read Now

11
Published 1995
Springer Netherlands
Subjects: “...Computer science...”
Cover Image
Read Now

12
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe
Published 2018
Springer International Publishing
Table of Contents: “... computational logics -- Individuals, quantifiers and epistemic operators -- From qubits to qudits -- What...”
Cover Image
Read Now

13
Published 2021
Springer International Publishing
Table of Contents: “...Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction...”
Cover Image
Read Now

14
Published 2022
Springer International Publishing
Table of Contents: “... calculus -- Semantics of programming languages -- Computational linguistics.-Language and computation...”
Cover Image
Read Now

15
Published 2023
Springer Nature Switzerland
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

16
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine...”
Cover Image
Read Now

17
Published 2003
Springer Netherlands
Table of Contents: “...1 Playful, streamlike computation -- 2 Universal types and what they are good for -- 3 Relational...”
Cover Image
Read Now

18
by David A. Rosenblueth
Published 2016
Frontiers Media SA
“..., computational and mathematical methods are necessary for increasing our understanding of biological systems...”
Cover Image
Read Now

19
Published 2014
Springer Netherlands
Table of Contents: “...; Göran Sundholm -- Chapter 2. The developments of the concept of machine computability from 1936...”
Cover Image
Read Now

20
Published 2020
Springer International Publishing
Table of Contents: “... of Hierarchies and Reducibilities -- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings...”