Computational logic

Computational logic
Ulrich Berger, Helmut Schwichtenberg, D. Miller, S. R. Buss, J. Girard
Details
- OL Work ID
- OL18362816W
Subjects
Computer logicLogic, symbolic and mathematical

Ulrich Berger, Helmut Schwichtenberg, D. Miller, S. R. Buss, J. Girard