> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Assertion level proof planning with compiled strategies Beteiligte: Dietrich, Dominik [Verfasser]; Siekmann, Jörg [Akademischer Betreuer] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Automatisches Beweisverfahren ; Deduktion ; Heuristik ; Beweisplanung ; deklarative Beweise ; tiefe Inferenz ; deklarative Beweisstrategien ; declarative proof planning ; assertion level ; deep inference ; declarative tactic ; Hochschulschrift Entstehung: Hochschulschrift: Saarbrücken, Universität des Saarlandes, Diss., 2011 Anmerkungen: Zugangsstatus: Freier Zugang