Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability)

Lynch, C., Paliath, N., Baader, F., Ghilardi, S., Hermann, M., Sofronie-Stokkermans, V., et al. (Eds.). (2009). Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability). -: -.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lynch, Christopher1, Herausgeber           
Paliath, Narendran2, Herausgeber
Baader, Franz2, Herausgeber           
Ghilardi, Silvio2, Herausgeber
Hermann, Miki2, Herausgeber
Sofronie-Stokkermans, Viorica1, Herausgeber           
Tiwari, Ashish2, Herausgeber
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-09-012009
 Publikationsstatus: Erschienen
 Seiten: 1-87
 Ort, Verlag, Ausgabe: - : -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521094
Anderer: Local-ID: C125716C0050FB51-02E3DF72DE53873AC1257624002F0F9C-Sofronie-Stokkermans2009-addct-unif
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: McGill University, Montreal, Canada
Start-/Enddatum: 1899-12-30

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: