> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A mechanization of sorted higher-order logic based on the resolution principle Beteiligte: Kohlhase, Michael [Verfasser]; Siekmann, Jörg [Akademischer Betreuer] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2007 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Automatisches Beweisverfahren ; Sortierte Logik ; Stufe n ; first-order automated deduction ; sorted higher-order logics ; SUM HOL ; automatic theorem ; Hochschulschrift Entstehung: Hochschulschrift: Saarbrücken, Universität des Saarlandes, Diss., 1994 Anmerkungen: Zugangsstatus: Freier Zugang