Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Default Quantifier Logic

Weydert, E. (1996). Default Quantifier Logic. In I. Niemelä (Ed.), Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems. Koblenz-Landau, Germany: Universität Koblenz-Landau, Institut für Informatik.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABD1-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABD2-2

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Weydert, Emil¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Erschienen: 1996

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Koblenz-Landau, Germany : Universität Koblenz-Landau, Institut für Informatik

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519645
Anderer: Local-ID: C1256104005ECAFC-FB30CE10FF1A5E16C1256459006C4EDE-Weydert96b

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Budapest, Hungary

Start-/Enddatum: 1996

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems

Genre der Quelle: Konferenzband

Urheber:
Niemelä, Ilkka, Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: Koblenz-Landau, Germany : Universität Koblenz-Landau, Institut für Informatik

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -

Quelle 2

ausblenden:

Titel: Fachberichte Informatik

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -