Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  SC2: Satisfiability Checking Meets Symbolic Computation

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). SC2: Satisfiability Checking Meets Symbolic Computation. In M. Kohlhase, M. Johansson, B. Miller, L. de Moura, & F. Tompa (Eds.), Intelligent Computer Mathematics (pp. 28-43). Berlin: Springer. doi:10.1007/978-3-319-42547-4_3.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002B-0A83-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5E8E-6
Genre: Konferenzbeitrag
Untertitel : Project Paper
Latex : ${SC}^{2}$: {S}atisfiability Checking Meets Symbolic Computation

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ábrahám, Erika1, Autor
Abbott, John1, Autor
Becker, Bernd1, Autor
Bigatti, Anna M.1, Autor
Brain, Martin1, Autor
Buchberger, Bruno1, Autor
Cimatti, Allesandro1, Autor
Davenport, James H.1, Autor
England, Matthew1, Autor
Fontaine, Pascal1, Autor
Forrest, Stephen1, Autor
Griggio, Alberto1, Autor
Kroening, Daniel1, Autor
Seiler, Werner M.1, Autor
Sturm, Thomas2, Autor           
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: 20162016
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Abraham_CICM2016
DOI: 10.1007/978-3-319-42547-4_3
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 9th International Conference on Intelligent Computer Mathematics
Veranstaltungsort: Bialystok, Poland
Start-/Enddatum: 2016-07-25 - 2016-07-29

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Intelligent Computer Mathematics
  Kurztitel : CICM 2016
  Untertitel : 9th International Conference, CICM 2016 ; Bialystok, Poland, July 25-29, 2016 ; Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Kohlhase, Michael1, Herausgeber
Johansson, Moa1, Herausgeber
Miller, Bruce1, Herausgeber
de Moura, Leonardo1, Herausgeber
Tompa, Frank1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 28 - 43 Identifikator: ISBN: 978-3-319-42546-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 9791 Artikelnummer: - Start- / Endseite: - Identifikator: -