Proof theory and automated deduction/
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Dordrecht:
Kluwer Academic Publishers,
c1997
|
| Σειρά: | Applied logic series ;
6 |
| Θέματα: |