Jean H. Gallier (gallier)
Cité.e dans les articles suivants
Axiomatization of Galilean SpacetimeContributions à 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.