Hochschulschrift

Assertion level proof planning with compiled strategies

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Saarbrücken, Universität des Saarlandes, Diss., 2011

Klassifikation
Informatik
Schlagwort
Automatisches Beweisverfahren ; Deduktion ; Heuristik

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
Saarländische Universitäts- und Landesbibliothek
(wann)
2012
Urheber
Beteiligte Personen und Organisationen
Siekmann, Jörg

URN
urn:nbn:de:bsz:291-scidok-49322
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:52 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Dietrich, Dominik
  • Siekmann, Jörg
  • Saarländische Universitäts- und Landesbibliothek

Entstanden

  • 2012

Ähnliche Objekte (12)

Assertion level proof planning with compiled strategies

Hochschulschrift

Assertion level proof planning with compiled strategies

Proof planning with multiple strategies

Hochschulschrift

Proof planning with multiple strategies

Proof planning with multiple strategies

Hochschulschrift

Proof planning with multiple strategies

Assertion tertia

Kapitel

Assertion tertia

Moral Assertion

Moral Assertion

The assertion

Kapitel

The assertion

Lesson VIII. Assertion

Kapitel

Lesson VIII. Assertion

Lesson VII. Assertion

Kapitel

Lesson VII. Assertion

Klimawandelgerechte Stadtentwicklung : "Climate-Proof Planning"

Klimawandelgerechte Stadtentwicklung : "Climate-Proof Planning"

Assertion, action, and context

Assertion, action, and context

Assertion, belief, and context

Assertion, belief, and context

Independence as an Assertion

Independence as an Assertion

Verbundene Objekte