Logic-Based Program Synthesis and Transformation
Unknown Author
0
0
Logic, Rationality, and Interaction
Unknown Author
0
0
Mathematics and Computation in Music
Unknown Author
0
0
Mathematics and Computation in Music
Unknown Author
0
0
Math Practice, Grade 5
Unknown Author
0
0
Mechanics of Microstructured Solids
Unknown Author
0
0
0
0
Modern Analysis and Applications 1
Unknown Author
0
0
Modern Analysis and Applications 2
Unknown Author
0
0
Multiscale, Nonlinear and Adaptive Approximation
Unknown Author
0
0
Near-Miss Johnson Solid
Unknown Author
0
0
Nonlinear Computational Geometry
Unknown Author
0
0
Numerical Analysis and Its Applications
Unknown Author
0
0
Operator Algebras, Operator Theory and Applications
Unknown Author
0
0
Optimization
Unknown Author
0
0
Parallel Computational Fluid Dynamics
Unknown Author
0
0
Parallel Computing
Unknown Author
0
0