The computer modelling of mathematical reasoning
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Bundy, Alan |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
London : New York :
Academic Press,
1983
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987) -
Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987) -
Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998) -
Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988) -
Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)