| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900) | 978-3-319-94204-9 (3-319-94204-2) | 2018 | Stephan Schulz · Roberto Sebastiani |
| Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... Notes in Computer Science, Band 8123) | 978-3-642-40536-5 (3-642-40536-3) | 2013 | Dominique Larchey-Wendling |
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... Notes in Computer Science , Band 1227) | 978-3-540-62920-7 (3-540-62920-3) | 2008 | |