A Proof Theory for Description Logics

Proof Theory for Description
Wo zu kaufen (2) Eigenschaften
Gesponsert
A Proof Theory for Description Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 03-05-2026 11:57:00
Siehe Produktangebot
Gesponsert
A Proof Theory for Description Logics, Fachbücher von Alexandre Rademaker
Galaxus.de
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:24:46
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

A General Theory of Evidence and Proof
A General Theory of Evidence and Proof
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)
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Produkt anzeigen
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Produkt anzeigen
A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
Produkt anzeigen
Truth Proof and Infinity
Truth Proof and Infinity
Produkt anzeigen
Menü