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

54.99 EUR 53.49 EUR 3% Off

Teilen:
Gesponsert

A Proof Theory for Description Logics, Fachbücher von Alexandre Rademaker

Galaxus.de
53.49 EUR
26-07-2026 04:45:40
Gesponsert

A Proof Theory for Description Logics

SpringerLink DE
54.99 EUR
27-07-2026 10:39:58

Ähnliche Produkte

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

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

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

Truth, Proof and Infinity: A Theory of Constructive Reasoning

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

Well-Quasi Orders in Computation Logic Language and Reasoning

192.59 EUR
A Model–Theoretic Approach to Proof Theory

A Model–Theoretic Approach to Proof Theory

53.49 EUR
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)

150.99 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