Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Logic, symbolic and mathematical
- Proof theory 2
- Reasoning 2
- Set theory 2
- Computable function 1
- Computer science 1
- Congresses 1
- Electronic digital computers 1
- Mathematics 1
- Programming 1
- Programming (Mathematics) 1
- Structured programming 1
- Study and teaching 1
- System design 1
- Uncertainty (Information theory) 1
-
1
Logic and structured design for computer programmers
Published 1992Click Here to View Status and Holdings.
Unknown -
2
Mathematical logic applications and theory
Published 1990Click Here to View Status and Holdings.
Unknown -
3
-
4
Symbolic and quantitative approaches to reasoning
Published 1994Click Here to View Status and Holdings.
Unknown -
5
Temporal logic in specification. Proceedings of the ...
Published 1989Click Here to View Status and Holdings.
Unknown -
6
Logik dan penggunaannya untuk sistem komputer
Published 1987Click Here to View Status and Holdings.
Unknown -
7
-
8
-
9
-
10
-
11
-
12
Pengantar logik dan pengabstrakan untuk sains komputer
Published 2000Click Here to View Status and Holdings.
Unknown -
13
-
14