Hochschulschrift

Relevancy based use lemmas in connection tableau calculi

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783898382274
3898382273

Maße: 21 cm

Umfang: 255 S.

Sprache: Englisch

Anmerkungen: Zugl.: München, Techn. Univ., Diss., 1999

Erschienen in: Dissertationen zur künstlichen Intelligenz ; Bd. 227

Schlagwort: Automatisches Beweisverfahren
Konnektionsmethode
Klausellogik
Lemma

Ereignis: Veröffentlichung

(wo): Berlin

(wer): Akad. Verl.-Ges. Aka

(wann): 2000

Urheber: Fuchs, Marc

Inhaltsverzeichnis: https://d-nb.info/958746656/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.06.2025, 14:01 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

Hochschulschrift

Beteiligte

Fuchs, Marc
Akad. Verl.-Ges. Aka

Entstanden

2000

Ähnliche Objekte (12)

Hochschulschrift

Connection tableau calculi with disjunctive constraints

Hochschulschrift

Connection tableau calculi with disjunctive constraints

Theory reasoning in connection calculi

Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures

Hochschulschrift

Connection calculi for automated theorem proving in classical and non-classical logics

Abschnitt

Calculi.

Abschnitt

Calculi.

Hochschulschrift

Linear logic based calculi for object Petri nets

Abschnitt

Calculi humani

Kapitel

Sectio VIII. Calculi

Kapitel

B. Calculi renales

Hochschulschrift

Curationem Calculi Humani

Hochschulschrift

Connection tableau calculi with disjunctive constraints

Hochschulschrift