Gems of theoretical computer science
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Schoning, Uwe 1955- |
|---|---|
| Άλλοι συγγραφείς: | Pruim, Randall J. |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berlin ; Heidelberg :
Springer,
c1998
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987) -
Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988) -
Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997) -
Automated theorem proving :
Δημοσίευση: (1984) -
Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)