> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Proof search without backtracking for free variable tableaux Beteiligte: Giese, Martin [Verfasser] Erschienen: Karlsruhe: KIT-Bibliothek, 2002 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Prädikatenlogik > Stufe 1 > Automatisches Beweisverfahren Automatisches Beweisverfahren > Backtracking > Tableau > Abgeschlossenheit > Inkrementeller Algorithmus Entstehung: Hochschulschrift: Karlsruhe, Univ., Diss., 2002 Anmerkungen: Zugangsstatus: Freier Zugang