A Proof Theory for Description Logics | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. A Proof Theory for Description Logics
  • #
  • #

A Proof Theory for Description Logics

59.00 EUR

Teilen:
Gesponsert

A Proof Theory for Description Logics

SpringerLink DE
59.00 EUR
07-09-2026 11:23:23

Ähnliche Produkte

A General Theory of Evidence and Proof: Forming Beliefs in Truth (Law and Philosophy Library, 148, Band 148)

A General Theory of Evidence and Proof: Forming Beliefs in Truth (Law and Philosophy Library, 148, Band 148)

169.12 EUR
Well-Quasi Orders in Computation Logic Language and Reasoning

Well-Quasi Orders in Computation Logic Language and Reasoning

192.59 EUR
Truth, Proof and Infinity: A Theory of Constructive Reasoning

Truth, Proof and Infinity: A Theory of Constructive Reasoning

212.50 EUR
Well-Quasi Orders in Computation, Logic, Language and Reasoning

Well-Quasi Orders in Computation, Logic, Language and Reasoning

212.50 EUR
A Model–Theoretic Approach to Proof Theory

A Model–Theoretic Approach to Proof Theory

59.00 EUR
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

30.98 EUR