Yüklüyor......
Logic for computer science : Foundations of Automatic Theorem proving/
| Yazar: | Gallier, Jean H. |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
John Wiley & Sons,
1987.
|
Benzer Materyaller
-
Logic For Computer Science: Foundations Of Automatic Theorem Proving
Yazar:: Gallier, Jean H
Baskı/Yayın Bilgisi: (1987) -
Logic for computer science: foundations of automatic theorem proving
Yazar:: Gallier, Jean H; Author
Baskı/Yayın Bilgisi: (1987) -
Logic for computer science : foundations of automatic theorem proving /
Yazar:: Gallier, Jean H.
Baskı/Yayın Bilgisi: (1986) -
Logic for computer science : foundations of automatic theorem proving /
Yazar:: Gallier, Jean H.
Baskı/Yayın Bilgisi: (2015) -
Symbolic, logic and mechanical theorem proving
Yazar:: Chang, Chin-Liang
Baskı/Yayın Bilgisi: (1973)