Computational logic
Boyer, Robert S
Computational logic - London: Academic Press, 1979 - xiv, 397p.
Motivation
Theory
519.68:510.6 / L9
Computational logic - London: Academic Press, 1979 - xiv, 397p.
Motivation
Theory
519.68:510.6 / L9