H.G. · J. G. · J. H. · Jean Gallier
Dover Publications · HarperCollins
| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Linear Algebra and Optimization With Applications to Machine Learning: Linear Algebra for Computer Vision, Robotics, and Machine Learning | Hardcover | 978-981-12-0639-9 | 2020 | Jocelyn Quaintance |
| Linear Algebra and Optimization With Applications to Machine Learning: Linear Algebra for Computer Vision, Robotics, and Machine Learning | Paperback | 978-981-12-0771-6 | 2020 | " |
| Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Learning | Hardcover | 978-981-12-1656-5 | 2020 | " |
| Logic for computer science: Foundations of automatic theorem proving | " | 978-0-06-042225-7 | 1986 | |
| Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition | Paperback | 978-0-486-78082-5 | 2015 | |