| Titel | ISBN-13 | 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 | 2018 | Didier Galmiche · Stephan Schulz |
| Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings | 978-3-642-04221-8 | 2009 | Silvio Ghilardi |
| Research and Advanced Technology for Digital Libraries: 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings | 978-3-642-15463-8 | 2010 | Mounia Lalmas · Joemon Jose · Andreas Rauber · Ingo Frommholz |
| Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings | 978-3-642-31611-1 | 2012 | Alessandro Cimatti |
R. S. · Robert Sebastian · Robert Sebesta · Robert Spaight · Robert Speaight · Robert Specht · Robert Spector · Robert Speights · Roberta Sebastiani · Roberto Sebastiani Silvio Ghilardi