Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Automated Deduction: Decidability, Complexity, Tractability

Ghilardi, S., Sattler, U., & Sofronie-Stokkermans, V. (Eds.). (2014). Automated Deduction: Decidability, Complexity, Tractability. Koblenz: Universität Koblenz.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8EB-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0025-0027-E
Genre: Konferenzband
Untertitel : IJCAR'14, 7th International Joint Conference on Automated Reasoning ; Workshop
Kurztitel : ADDCT 2014

Externe Referenzen

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

Urheber

einblenden:
ausblenden:
 Urheber:
Ghilardi, Silvio1, Herausgeber
Sattler, Ulrike1, Herausgeber
Sofronie-Stokkermans, Viorica2, 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: 20142014
 Publikationsstatus: Erschienen
 Seiten: 58 p.
 Ort, Verlag, Ausgabe: Koblenz : Universität Koblenz
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Sofronie-Stokkermans-addct114
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Automated Deduction: Decidability, Complexity, Tractability
Veranstaltungsort: Vienna, Austria
Start-/Enddatum: 2014-07-18 - 2014-07-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: