Hochschulschrift
Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
III, 174 Bl.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Bonn, Univ., Diss., 1995 (Nicht für den Austausch)
- Schlagwort
-
Nichtmonotones Schließen
Horn-Klausel
Algorithmus
- Urheber
-
Papakostas, Panagiotis
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Papakostas, Panagiotis
Ähnliche Objekte (12)
Konditionale Mutagenese in der Maus : Generierung und Analyse konditionaler Mausmutanten
Das Beweisverfahren : Eine Einführung in d. Logik
Perfekt und Konditional im Altkirchenslavischen
Perfekt und Konditional im Altkirchenslavischen
Beweisverfahren für den Prädikatenkalkül
Konditionale Markovsimulation 2-dimensionaler geologischer Probleme
Konditionale, kontrafaktische
Prag - ein Prozeßmodell für die Verarbeitung konditionaler Sprechakte
Anwaltstätigkeit im Beweisverfahren der Zivilprozessordnung
Kostenrechtliche Fragen im selbständigen Beweisverfahren
Die Nebenintervention im selbständigen Beweisverfahren
Das Beweisverfahren nach langobardischem Rechte
Konditionale Mutagenese in der Maus : Generierung und Analyse konditionaler Mausmutanten
Das Beweisverfahren : Eine Einführung in d. Logik
Perfekt und Konditional im Altkirchenslavischen
Perfekt und Konditional im Altkirchenslavischen
Beweisverfahren für den Prädikatenkalkül
Konditionale Markovsimulation 2-dimensionaler geologischer Probleme
Konditionale, kontrafaktische
Prag - ein Prozeßmodell für die Verarbeitung konditionaler Sprechakte
Anwaltstätigkeit im Beweisverfahren der Zivilprozessordnung
Kostenrechtliche Fragen im selbständigen Beweisverfahren
Die Nebenintervention im selbständigen Beweisverfahren
Das Beweisverfahren nach langobardischem Rechte
Konditionale Mutagenese in der Maus : Generierung und Analyse konditionaler Mausmutanten
Das Beweisverfahren : Eine Einführung in d. Logik
Perfekt und Konditional im Altkirchenslavischen
Perfekt und Konditional im Altkirchenslavischen
Beweisverfahren für den Prädikatenkalkül
Konditionale Markovsimulation 2-dimensionaler geologischer Probleme
Konditionale, kontrafaktische
Prag - ein Prozeßmodell für die Verarbeitung konditionaler Sprechakte
Anwaltstätigkeit im Beweisverfahren der Zivilprozessordnung
Kostenrechtliche Fragen im selbständigen Beweisverfahren
Die Nebenintervention im selbständigen Beweisverfahren