Φορτώνει......
Symbolic, logic and mechanical theorem proving
| Κύριος συγγραφέας: | Chang, Chin-Liang |
|---|---|
| Άλλοι συγγραφείς: | Lee, Richard Char-Tung |
| Μορφή: | Printed Book |
| Γλώσσα: | English |
| Έκδοση: |
New York
Academic Press
1973
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Logic for computer science: foundations of automatic theorem proving
ανά: Gallier, Jean H; Author
Έκδοση: (1987) -
Logic for computer science : foundations of automatic theorem proving /
ανά: Gallier, Jean H.
Έκδοση: (2015) -
Applied proof theory : proof interpretations and their use in mathematics /
ανά: Kohlenbach, U.
Έκδοση: (2008) -
Diagrammatic reasoning: cognitive and computational perspectives
ανά: Chandrasekaran, B
Έκδοση: (1995) -
Automated theorem proving: theory and practice
ανά: Newborn, Monty
Έκδοση: (2001)