Jean H. Gallier books & textbook
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Dover Publications /2015-06-18 Paperback / 528 Pages
isbn-10: 0486780821 / isbn-13: 9780486780825
Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry
Gallier, Jean H Quaintance, Jocelyn
World Scientific Pub Co Inc /2022-02-22 Hardcover / 780 Pages
isbn-10: 9811245029 / isbn-13: 9789811245022
Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Learning
Gallier, Jean H Quaintance, Jocelyn
World Scientific Pub Co Inc /2020-05-12 Hardcover / 877 Pages
isbn-10: 9811216568 / isbn-13: 9789811216565
Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning
Gallier, Jean H Quaintance, Jocelyn
World Scientific Pub Co Inc /2020-02-07 Paperback / 806 Pages
isbn-10: 9811207712 / isbn-13: 9789811207716
What's So Special about Kruskal's Theorem and the Ordinal Gammo sub 0? A Survey of Some Results In Proof Theory
PN /1993T Paperback
Aspects of Harmonic Analysis on Locally Compact Abelian Groups
Gallier, Jean H Quaintance, Jocelyn
World Scientific Publishing Company /2024-07-18 Hardcover / 760 Pages
isbn-10: 9811291713 / isbn-13: 9789811291715
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Longman Higher Education /1986-01-01 Hardcover / 511 Pages
isbn-10: 0060422254 / isbn-13: 9780060422257
