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 (3) Eigenschaften
Gesponsert
Higher Order Logic Theorem Proving and Its Applications
Hugendubel
53.49 EUR
Preis aktualisiert am: 20-09-2026 08:41:24
Siehe Produktangebot
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: 25-09-2026 04:24:01
Siehe Produktangebot
Gesponsert
Higher Order Logic Theorem Proving and Its Applications
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 23:54:23
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)
Aus105.91 EUR 4
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)
Aus104.66 EUR 3
Produkt anzeigen
Higher-Order Computability (Theory and Applications of Computability)
Higher-Order Computability (Theory and Applications of Computability)
Aus153.98 EUR 3
Produkt anzeigen
The Hybrid High-Order Method for Polytopal Meshes
The Hybrid High-Order Method for Polytopal Meshes
Aus149.79 EUR 2
Produkt anzeigen
Higher-Order Components for Grid Programming: Making Grids More Usable
Higher-Order Components for Grid Programming: Making Grids More Usable
Aus97.98 EUR 2
Produkt anzeigen
Kalsi Schubert, Marie-Luise: Alexius Meinong
Kalsi Schubert, Marie-Luise: Alexius Meinong
Aus164.99 EUR 1
Produkt anzeigen
Menü