Lignende værker: Logic for computer science :
Emne: Lógica Matemática
Emne: Matemáticas
Forfatter: Gallier, Jean H.
- Logic for computer science : foundations of automatic theorem proving /
- Linear Algebra and Optimization with Applications to Machine Learning : Linear Algebra for Computer Visión, Robotics, and Machine Learning /
- Linear Algebra and Optimization with Applications to Machine Learning : Fundamentals of Optimization Theory with Applications to Machine Learnig /