Wird geladen...
Logic for computer science : Foundations of Automatic Theorem proving/
| 1. Verfasser: | Gallier, Jean H. |
|---|---|
| Format: | Printed Book |
| Sprache: | English |
| Veröffentlicht: |
John Wiley & Sons,
1987.
|
Ähnliche Einträge
-
Logic For Computer Science: Foundations Of Automatic Theorem Proving
von: Gallier, Jean H
Veröffentlicht: (1987) -
Logic for computer science: foundations of automatic theorem proving
von: Gallier, Jean H; Author
Veröffentlicht: (1987) -
Logic for computer science : foundations of automatic theorem proving /
von: Gallier, Jean H.
Veröffentlicht: (1986) -
Logic for computer science : foundations of automatic theorem proving /
von: Gallier, Jean H.
Veröffentlicht: (2015) -
Symbolic, logic and mechanical theorem proving
von: Chang, Chin-Liang
Veröffentlicht: (1973)