K. B. · K. Bräunlich · K Brownlie
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, ... Notes in Computer Science, Band 6793) | 978-3-642-22118-7 (3-642-22118-1) | 2011 | George Metcalfe |
| Blockchain kurz & gut | 978-3-96009-070-0 (3-96009-070-6) | 2018 | |
| Deep Inference and Symmetry in Classical Proofs | 978-3-8325-0448-9 (3-8325-0448-6) | 2004 | |
Logos Berlin · O'Reilly · Springer