Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Better Answers to Real Questions

Košta, M., Sturm, T., & Dolzmann, A. (2014). Better Answers to Real Questions. In P. Rümmer, & C. M. Wintersteiger (Eds.), 12th International Workshop on Satisfiablity Modulo Theories (pp. 69-69). Aachen: CEUR-WS.org.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-9131-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B772-7
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
Link (beliebiger Volltext)
Beschreibung:
-
OA-Status:

Urheber

einblenden:
ausblenden:
 Urheber:
Košta, Marek1, Autor           
Sturm, Thomas1, Autor           
Dolzmann, Andreas2, Autor
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: 2014
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: KostaEtAl:2014a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 12th International Workshop on Satisfiability Modulo Theories
Veranstaltungsort: Vienna, Austria
Start-/Enddatum: 2014-07-17 - 2014-07-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 12th International Workshop on Satisfiablity Modulo Theories
  Kurztitel : SMT 2014
  Untertitel : Vienna, Austria, July 17-18, 2014 ; Affliated with 26th Int'l. Conf. on Computer Aided Verifcation (CAV 2014), 7th Int'l Joint Conf. on Automated Reasoning (IJCAR 2014), and 17th Int'l Conf. on Theory and Applications of Satisfability Testing (SAT 2014).
Genre der Quelle: Konferenzband
 Urheber:
Rümmer, Philipp1, Herausgeber
Wintersteiger, Christoph M.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Aachen : CEUR-WS.org
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 69 - 69 Identifikator: URN: urn:nbn:de:0074-1163-4

Quelle 2

einblenden:
ausblenden:
Titel: CEUR Workshop Proceedings
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1163 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1613-0073