Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Automated Deduction: Decidability, Complexity, Tractability

Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V., & Tiwari, A. (Eds.). (2013). Automated Deduction: Decidability, Complexity, Tractability.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8B9-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8BA-D
Genre: Konferenzband
Untertitel : CADE-24, 24th International Conference on Automated Deduction ; Lake Placid, New York, 9-14 June, 2013 ; Workshop Program
Kurztitel : ADDCT 2013

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
http://userpages.uni-koblenz.de/~sofronie/addct-2013/proceedings-addct-2013.pdf (beliebiger Volltext)
Beschreibung:
-
OA-Status:

Urheber

einblenden:
ausblenden:
 Urheber:
Ghilardi, Silvio1, Herausgeber
Sattler, Ulrike1, Herausgeber
Sofronie-Stokkermans, Viorica2, Herausgeber           
Tiwari, Ashish1, Herausgeber
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20132013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Sofronie-Stokkermans-addct13
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Automated Deduction: Decidability, Complexity, Tractability
Veranstaltungsort: Lake Placid, NY, USA
Start-/Enddatum: 2013-06-10 - 2013-06-10

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: