U. Eggli · U. Egli · U Eisele · U. Eysel
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, ... Notes in Computer Science , Band 2381) | 978-3-540-43929-5 (3-540-43929-3) | 2008 | Christian G. Fernmüller |
| Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561) | 978-3-319-09283-6 (3-319-09283-9) | 2014 | Carsten Sinz |