Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction

Bjørner, N., & Sofronie-Stokkermans, V. (Eds.). (2011). Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction. Berlin: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bjørner, Nikolaj1, 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: 2012-03-162011
 Publikationsstatus: Erschienen
 Seiten: 1-505
 Ort, Verlag, Ausgabe: Berlin : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 619016
ISBN: 978-3-642-22437-9
DOI: 10.1007/978-3-642-22438-6
URI: http://dx.doi.org/10.1007/978-3-642-22438-6
Anderer: Local-ID: C125716C0050FB51-E9D0E28A5AE75EECC1257921007520A4-Sofronie-Stokkermans-cade-2011
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Wroclaw, Poland
Start-/Enddatum: 2011-07-31 - 2011-08-05

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: