Metadata only
Datum
2008Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Automated reasoning : 4th international joint conference : proceedings / IJCAR 2008, Sydney, Australia, August 12-15, 2008Zeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03594 - Meyer, Bertrand (emeritus)
03653 - Müller, Peter / Müller, Peter
ETH Bibliographie
yes
Altmetrics