ausblenden:
Titel:
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning – CEDAR’08
Genre der Quelle:
Konferenzband
Urheber:
Baader, Franz, Herausgeber
Ghilardi, Silvio, Herausgeber
Hermann, Miki, Herausgeber
Sattler, Ulrike, Herausgeber
Sofronie-Stokkermans, Viorica1, Herausgeber
Affiliations:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
Ort, Verlag, Ausgabe:
Sydney, Australia : CEDAR
Seiten:
-
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
47 - 62
Identifikator:
-