> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Book Titel: PCC '06 / 5th International Workshop on Proof, Computation, Complexity, Ilmenau, July 24 - 25, 2006 Erschienen: Universitätsverlag Ilmenau, 2006-07-20 Umfang: 57 Seiten Sprache: Englisch ISBN: 978-3-939473-01-5 Schlagwörter: Klasse A ; Kongress ; für Harvesting bereitgestellt ; Beweistheorie ; book Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang