Logic for computer science Foundations of automatic theorem proving
Κύριος συγγραφέας: | Gallier, Jean H. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York
John Wiley & Sons
c1987
|
Σειρά: | Harper & Row Computer Science and Technology Series
|
Θέματα: |
Παρόμοια τεκμήρια
-
Optimization and Computational Logic
ανά: McAloon, Ken, κ.ά.
Έκδοση: (1996) -
Theory of computing Proceedings of the 26th Annual ACM symposium on the theory of computing. Montreal, Quebec, Canada, May 23-25, 1994
Έκδοση: (1994) -
Theory of Computing Procedings of the 30th Annual ACM Conference Dallas, Texas May 23-26, 1998
Έκδοση: (1998) -
Theory of computing Proceedings of the 18th Annual ACM Symposium Berkeley, California, May 28-30, 1986
Έκδοση: (1986) -
Theory of Computing Proceedings of the 29th Annual ACM Symposium El Paso. Texas, May 4-6, 1997
Έκδοση: (1997)