A Proof Theory for Description Logics

Proof Theory for Description
Wo zu kaufen (2) Eigenschaften
Gesponsert
A Proof Theory for Description Logics, Fachbücher von Alexandre Rademaker
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-09-2026 05:17:40
Siehe Produktangebot
Gesponsert
A Proof Theory for Description Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-09-2026 16:21:57
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Aus169.74 EUR 4
Produkt anzeigen
A General Theory of Evidence and Proof
A General Theory of Evidence and Proof
Aus169.12 EUR 3
Produkt anzeigen
A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
Aus53.49 EUR 3
Produkt anzeigen
Truth Proof and Infinity
Truth Proof and Infinity
Aus192.49 EUR 3
Produkt anzeigen
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic (53), Band 53)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic (53), Band 53)
Aus192.59 EUR 3
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Aus28.54 EUR 1
Produkt anzeigen
Menü