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

(9783639852295) | Spörk Algorithms for Quantified, Algorithms for Quantified

• Wo zu kaufen
• Spezifikationen
• Kommentare
• FAQs

 Geschäfte, in denen Sie dieses Produkt kaufen können

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

+ Informationen zu Medimops DE

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

---

Günstigstes Angebot

39.34 EUR

Siehe Produktangebot

Galaxus.de

+ Informationen zu Galaxus.de

GesponsertAlgorithms for Quantified Cut-Introduction, Fachbücher von Christoph Spörk

---

39.90 EUR

Siehe Produktangebot

Dieses Produkt im Comparor
Kategorie Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert	- Bücher über Programmierung und Softwareentwicklung - Ingenieurbücher - Informatik - Programmiersprachen
International Finden Sie dieses Produkt in einem unserer internationalen Geschäfte	Dieses Produkt wurde in anderen Ländern nicht gefunden
Farben Vorherrschende Farben des Produkts
Tags	Spörk Algorithms for Quantified Algorithms for Quantified
Bezeichner
Marke	Christoph Spörk
ISBN	Christoph Spörk 363985229X
ID	13071234
Abmessungen / Gewicht
Hauptmerkmale

Fügen Sie meine Meinung zu diesem Produkt hinzu

Ich möchte eine Frage zu diesem Produkt stellen