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

Spörk Algorithms for Quantified Algorithms for Quantified
Wo zu kaufen (3) Eigenschaften
Gesponsert
Algorithms for Quantified Cut-Introduction, Fachbücher von Christoph Spörk
Galaxus.de
39.90 EUR
Preis aktualisiert am: 29-09-2026 09:14:36
Siehe Produktangebot
Gesponsert
Algorithms for Quantified Cut-Introduction
Hugendubel
159.60 EUR
Preis aktualisiert am: 26-09-2026 08:22:29
Siehe Produktangebot
Gesponsert
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Medimops DE
159.60 EUR
Preis aktualisiert am: 29-09-2026 21:06:58
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

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
Aus181.89 EUR 3
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)
Aus141.99 EUR 3
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)
Aus48.98 EUR 3
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)
Aus88.02 EUR 3
Produkt anzeigen
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)
Aus206.40 EUR 1
Produkt anzeigen
Algorithms and Models for the Web-Graph
Algorithms and Models for the Web-Graph
Aus53.49 EUR 2
Produkt anzeigen
Menü