Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Effiziente Subsumption in Deduktionssystemen

Becker, J. (1994). Effiziente Subsumption in Deduktionssystemen. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD79-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD27-2
Genre: Hochschulschrift

Dateien

einblenden: Dateien
ausblenden: Dateien
:
becker.ps (beliebiger Volltext), 736KB
 
Datei-Permalink:
-
Name:
becker.ps
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/postscript
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Becker, Joachim1, Autor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Es wurden Datenstrukturen und Algorithmen in der Programmiersprache C entwickelt, die einen effizienten Subsumptionstest auf Klauseln für einen Resolutionsbeweiser ermöglichen. Die benötigten Datenstrukturen, mit deren Hilfe man den Subsumptionstest von Term- auf Klauselebene liften kann, wurden in einer "Black-Box" zum Aufbewahren von Klauseln zusammengefaßt.

Details

einblenden:
ausblenden:
Sprache(n): deu - German
 Datum: 2010-03-1219941994
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519624
Anderer: Local-ID: C1256104005ECAFC-E03D22F56DADD560412563EC0079F790-Becker94
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: