Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Hammering towards QED

Blanchette, J. C., Kaliszyk, C., Paulson, L. C., & Urban, J. (2016). Hammering towards QED. Journal of Formalized Reasoning, 9(1), 101-148. doi:10.6092/issn.1972-5787/4593.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Zeitschriftenartikel
Latex : Hammering towards {QED}

Dateien

einblenden: Dateien
ausblenden: Dateien
:
4593-17573-1-PB.pdf (Verlagsversion), 522KB
Name:
4593-17573-1-PB.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Öffentlich
MIME-Typ / Prüfsumme:
application/pdf / [MD5]
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
Copyright (c) 2016 Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban This work is licensed under a Creative Commons Attribution 3.0 International License

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Blanchette, Jasmin Christian1, Autor           
Kaliszyk, Cezary2, Autor
Paulson, Lawrence C.2, Autor
Urban, Josef2, 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: 2016
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: DBLP:journals/jfrea/BlanchetteKPU16
DOI: 10.6092/issn.1972-5787/4593
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Formalized Reasoning
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Bologna
Seiten: - Band / Heft: 9 (1) Artikelnummer: - Start- / Endseite: 101 - 148 Identifikator: ISSN: 1972-5787