Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 10:18:08
Siehe Produktangebot
Gesponsert
Higher Order Logic Theorem Proving and Its Applications
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:36:15
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ä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)
Produkt anzeigen
Higher-Order Components for Grid Programming: Making Grids More Usable
Higher-Order Components for Grid Programming: Making Grids More Usable
Produkt anzeigen
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)
Produkt anzeigen
Higher-Order Computability (Theory and Applications of Computability)
Higher-Order Computability (Theory and Applications of Computability)
Produkt anzeigen
Kalsi Schubert, Marie-Luise: Alexius Meinong
Kalsi Schubert, Marie-Luise: Alexius Meinong
Produkt anzeigen
The Hybrid High-Order Method for Polytopal Meshes
The Hybrid High-Order Method for Polytopal Meshes
Produkt anzeigen
Menü