Metadata only
Datum
2005Typ
- Book Chapter
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedBuchtitel
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthdayZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerOrganisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics