The limits of mathematics a course on information theory and limits of formal reasoning
Κύριος συγγραφέας: | Chaitin, Gregory J. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Singapore
Springer
1998
|
Σειρά: | Springer series in discrete mathematics and theoretical computer science
|
Θέματα: |
Παρόμοια τεκμήρια
-
The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (2003) -
A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986) -
Teaching and learning formal methods
Έκδοση: (1996) -
Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988) -
The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)