Higher Order Logic Theorem Proving and Its Applications | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Higher Order Logic Theorem Proving and Its Applications
  • #
  • #

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR

Teilen:

Ähnliche Produkte

Efficient Implementation of High-Order Accurate Numerical Methods on Unstructured Grids (Springer Theses)

Efficient Implementation of High-Order Accurate Numerical Methods on Unstructured Grids (Springer Theses)

105.91 EUR
Higher-Order Components for Grid Programming: Making Grids More Usable

Higher-Order Components for Grid Programming: Making Grids More Usable

97.98 EUR
Efficient Implementation of High-Order Accurate Numerical Methods on Unstructured Grids (Springer Theses)

Efficient Implementation of High-Order Accurate Numerical Methods on Unstructured Grids (Springer Theses)

98.99 EUR
Higher-Order Computability (Theory and Applications of Computability)

Higher-Order Computability (Theory and Applications of Computability)

153.98 EUR
The Hybrid High-Order Method for Polytopal Meshes: Design, Analysis, and Applications

The Hybrid High-Order Method for Polytopal Meshes: Design, Analysis, and Applications

149.79 EUR
Kalsi Schubert, Marie-Luise: Alexius Meinong

Kalsi Schubert, Marie-Luise: Alexius Meinong

160.49 EUR