Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - 
CEDAR'08

Baader, Franz; Ghilardi, Silvio; Hermann, Miki; Sattler, Ulrike; Sofronie-Stokkermans, Viorica

Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Bitte beachten Sie, dass eine neuere Version dieses Datensatzes verfügbar ist:
https://pure.mpg.de/pubman/item/item_1325767_4

DetailsÜbersicht

Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08

Baader, F., Ghilardi, S., Hermann, M., Sattler, U., & Sofronie-Stokkermans, V. (Eds.). (2008). Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08. Sydney: CEDAR.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1D64-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-183D-0

Genre: Konferenzband

Latex : Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning -- CEDAR'08

ausblenden:

Urheber:
Baader, Franz¹, Herausgeber
Ghilardi, Silvio, Herausgeber
Hermann, Miki, Herausgeber
Sattler, Ulrike, Herausgeber
Sofronie-Stokkermans, Viorica², Herausgeber

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2009-03-23Erschienen: 2008

Publikationsstatus: Erschienen

Seiten: 72

Ort, Verlag, Ausgabe: Sydney : CEDAR

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 428266
URI: http://www.mpi-inf.mpg.de/~sofronie/proceedings-cedar08.pdf
Anderer: Local-ID: C125756E0038A185-4EDEFAD7D52C81B2C12574A2004C4649-Sofronie-Stokkermans-cedar2008

Art des Abschluß: -