> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Tactics for Hierarchical Proof Beteiligte: Aspinall, David; Denney, Ewen; Lüth, Christoph Erschienen: Springer Science and Business Media LLC, 2010 Erschienen in: Mathematics in Computer Science, 3 (2010) 3, Seite 309-330 Sprache: Englisch DOI: 10.1007/s11786-010-0025-6 ISSN: 1661-8289; 1661-8270 Schlagwörter: Applied Mathematics ; Computational Theory and Mathematics ; Computational Mathematics Entstehung: Anmerkungen: