Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus

Spörk Algorithms for Quantified Algorithms for Quantified
Wo zu kaufen (2) Eigenschaften
Gesponsert
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Medimops DE
39.34 EUR
Preis aktualisiert am: 27-07-2026 23:45:07
Siehe Produktangebot
Gesponsert
Algorithms for Quantified Cut-Introduction, Fachbücher von Christoph Spörk
Galaxus.de
39.90 EUR
Preis aktualisiert am: 03-08-2026 09:18:12
Siehe Produktangebot

Allgemein

Marke
Christoph Spörk
ISBN
Christoph Spörk 363985229X

Eigenschaften

Ähnliche Produkte

Fast Parallel Algorithms for Graph Matching Problems: Combinatorial, Algebraic & Probabilistic Approach (Oxford Lecture Series in Mathematics and Its Applications, 9, Band 9)
Fast Parallel Algorithms for Graph Matching Problems: Combinatorial, Algebraic & Probabilistic Approach (Oxford Lecture Series in Mathematics and Its Applications, 9, Band 9)
Produkt anzeigen
The Illusion of Control: Project Data, Computer Algorithms and Human Intuition for Project Management and Control (Management for Professionals)
The Illusion of Control: Project Data, Computer Algorithms and Human Intuition for Project Management and Control (Management for Professionals)
Produkt anzeigen
Machine Learning Algorithms for Industrial Applications (Studies in Computational Intelligence, 907, Band 907)
Machine Learning Algorithms for Industrial Applications (Studies in Computational Intelligence, 907, Band 907)
Produkt anzeigen
Design of Heuristic Algorithms for Hard Optimization: With Python Codes for the Travelling Salesman Problem (Graduate Texts in Operations Research)
Design of Heuristic Algorithms for Hard Optimization: With Python Codes for the Travelling Salesman Problem (Graduate Texts in Operations Research)
Produkt anzeigen
Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing
Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing
Produkt anzeigen
Algorithms and Models for the Web-Graph
Algorithms and Models for the Web-Graph
Produkt anzeigen
Menü