Model and Proof Theory of Constructive ALC von Stephan M. Scheele (2015, Taschenbuch)

Brandneu: niedrigster preis

EUR 22,00

Kostenloser Versand
(inkl. MwSt.)
  • Lieferung bis spätestens Do, 23. Aug - Sa, 25. Aug aus Müllheim, Deutschland
Author: Stephan M. Scheele. Derartiges partiell festgelegtes und unvollständiges Wissen lässt sich auf der Basis einer konstruktiven Semantik ausdrücken. Diese Arbeit untersucht die Model- und Beweistheorie einer konstruktiven Variante der Basis-BL ALC, die im Folgenden als cALC bezeichnet wird.
Verkauft vonharrybuzzle2 (83)100,0% positive BewertungenVerkäufer kontaktieren
Angemeldet als gewerblicher Verkäufer