Search Results - "Logic, Symbolic and mathematical"
Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical 23
- Mathematics 6
- Computer science 5
- Logic programming 3
- Probabilities 3
- Computable functions 2
- Induction (Mathematics) 2
- Proof theory 2
- Set theory 2
- Abstraction 1
- Artificial intelligence 1
- Comprehension (Theory of knowledge) 1
- Curriculum planning 1
- Data structures (Computer science) 1
- Equations, Theory of 1
- Expert systems (Computer science) 1
- Functional programming (Computer science) 1
- Information theory 1
- Knowledge representation (Information theory) 1
- Language and languages 1
- Lattice theory 1
- Mathematical models 1
- Mathematical recreations 1
- Philosophy 1
- Recursive functions 1
- Study and teaching (Elementary) 1
-
1
Mathematical logic for computer science
Published 1993Subjects: “…Logic, Symbolic and mathematical…”
-
2
-
3
-
4
Mathematical logic
Published 2007Subjects: “…Logic, Symbolic and mathematical…”
Contributor biographical information
Publisher description
Table of contents only
-
5
-
6
Quantum algebras, mathematical logic and quantum computing [
Published 2014Subjects: “…Logic, Symbolic and mathematical…”
World Technologies
-
7
-
8
-
9
Asas bermantik dan berteori set bagi matematik : bahagian pertama pendekatan moden terhadap matematik tulen
Published 1992Subjects: “…Logic, Symbolic and mathematical…”
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
Published 2006Subjects: -
18
-
19
-
20