Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

A Proof Theory for Description Logics

64.96 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10361801

Beschreibung

Introduction.- Background.- Sequent Calculus for ALC.- Comparing SCalc with other ALC Deduction Systems.- Natural Deduction for ALC.- A Proof Theory for ALCQI.- Proofs and Explanations.- A Prototype Theorem Prover.- Conclusion.

Eigenschaften

Breite:	155
Gewicht:	190 g
Höhe:	235
Länge:	6
Seiten:	106
Sprachen:	Englisch
Autor:	Alexandre Rademaker

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD, m. 1 Buch: Der Ruck-Zuck-Kurs für zu Hause - in kürzes

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD,... 11.07.2014 Sofort lieferbar

36.94

PowerShell 7 und Windows PowerShell: Das komplette Praxiswissen für Administratoren und IT-Profis. F

PowerShell 7 und Windows PowerShell: Das... 14.07.2021 Sofort lieferbar

37.94

SAP-Personalwirtschaft: Praxishandbuch. Alle wichtigen HP-Funktionen Schritt für Schritt erklärt. Pr

SAP-Personalwirtschaft: Praxishandbuch. Alle... 28.12.2016

74.97

Angebote

Topseller

- 56 %

Bestron ABP604 Tischgrill Sofort lieferbar

119,44 52.69

- 56 %

ROWENTA Silence Force Animal RO7473 Sofort lieferbar

450,67 199.74

- 55 %

Moulinex Companion XL Gourmet Sofort lieferbar

1103,08 500.85

Zuletzt angesehen