> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Efficient reasoning procedures for complex first-order theories Weitere Titel: Effizientes logisches Schließen für komplexe Theorien der Prädikatlogik erster Stufe Beteiligte: Wischnewski, Patrick [Verfasser:in]; Weidenbach, Christoph [Akademische:r Betreuer:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Superpositionskalkül ; Entscheidungsverfahren ; Prädikatenlogik ; Schlussfolgern ; automated reasoning ; superposition ; decision procedures ; first-order logic ; ontologies ; Hochschulschrift Entstehung: Hochschulschrift: Saarbrücken, Universität des Saarlandes, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang