9. FroCoS 2013: Nancy, France

• 
  Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (Eds.): Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8152 ISBN 978-3-642-40884-7 [ contents ]

6. IJCAR 2012: Manchester, UK

• 
  Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7364 ISBN 978-3-642-31364-6 [ contents ]

8. FroCoS 2011: Saarbrücken, Germany

• 
  Cesare Tinelli, Viorica Sofronie-Stokkermans (Eds.): Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6989 ISBN 978-3-642-24363-9 [ contents ]

5. IJCAR 2010: Edinburgh, UK

• 
  Jürgen Giesl, Reiner Hähnle (Eds.): Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6173 ISBN 978-3-642-14202-4 [ contents ]

7. FroCoS 2009: Trento, Italy

• 
  Silvio Ghilardi, Roberto Sebastiani (Eds.): Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5749 ISBN 978-3-642-04221-8 [ contents ]

4. IJCAR 2008: Sydney, NSW, Australia

• 
  Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5195 ISBN 978-3-540-71069-1 [ contents ]

6. FroCoS 2007: Liverpool, UK

• 
  Boris Konev, Frank Wolter (Eds.): Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4720 ISBN 978-3-540-74620-1 [ contents ]

3. IJCAR 2006: Seattle, WA, USA

• 
  Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4130 ISBN 3-540-37187-7 [ contents ]

5. FroCoS 2005: Vienna, Austria

• 
  Bernhard Gramlich (Ed.): Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3717 ISBN 3-540-29051-6 [ contents ]

- FroCoS 2005 Home Page

FroCoS / 2. IJCAR 2004: Cork, County Cork, Ireland

• 
  David A. Basin, Michaël Rusinowitch (Eds.): Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3097 ISBN 3-540-22345-2 [ contents ]

4. FroCoS 2002: Santa Margherita Ligure, Italy

• 
  Alessandro Armando (Ed.): Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2309 ISBN 3-540-43381-3 [ contents ]

3. FroCoS 2000: Nancy, France

• 
  Hélène Kirchner, Christophe Ringeissen (Eds.): Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1794 ISBN 3-540-67281-8 [ contents ]

2. FroCoS 1998: Amsterdam The Netherlands

1. FroCoS 1996: Munich, Germany

Franz Baader, Klaus U. Schulz (Eds.): Frontiers of Combining Systems, First International Workshop FroCoS '96, Munich, Germany, March 26-29, 1996, Proceedings. Kluwer Academic Publishers, Applied Logic Series, Vol. 3, ISBN 0-7923-4271-2
Contents