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

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

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

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

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

106.99 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)

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

Higher-Order Computability (Theory and Applications of Computability)

171.19 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)

106.99 EUR
Kalsi Schubert, Marie-Luise: Alexius Meinong

Kalsi Schubert, Marie-Luise: Alexius Meinong

160.49 EUR
Probabilistic Analysis using Theorem Proving

Probabilistic Analysis using Theorem Proving

68.00 EUR
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR