Jean H. Gallier (gallier)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Gallier, Jean H. 1986. Logic for Computer Science: Foundations of Automated Theorem Proving. New York: Harper & Row.
Gallier, Jean H. 2011. Geometric Methods and Applications. For Computer Science and Engineering. Texts in Applied Mathematics n. 38. New York: Springer, doi:10.1007/978-1-4419-9961-0.