Metadata only
Datum
2008Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Theorem proving in higher order logics : 21st international conference : proceedings / TPHOLs 2008, Montreal, Canada, August 18-21, 2008Zeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics