Proceedings

Frontiers of Combining Systems
Franz Baader and Klaus U. Schulz, Editors.
Applied Logic Series, Vol. 3 Kluwer Academic Publishers, Dordrecht, 1996.
ISBN 0-7923-4271-2

Frontiers of Combining Systems 2
Dov M. Gabbay and Maarten de Rijke, editors.
Research Studies Press/Wiley, 2000.
ISBN 0863802524

Frontiers of Combining Systems, Third International Workshop, FroCoS 2000
H. Kirchner and C. Ringeissen editors.
Volume 1794 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000.
ISBN 3-540-67281-8

Frontiers of Combining Systems, Forth International Workshop, FroCoS 2002
A. Armando editor.
Volume 2309 of Lecture Notes in Artificial Intelligence. Springer, 2002.
ISBN 3-540-43381-3

Automated Reasoning: Second International Joint Conference, IJCAR 2004
D. Basin and M. Rusinowitch editors.
Volume 3097 of Lecture Notes in Artificial Intelligence. Springer, 2004.
ISBN 3-540-22345-2

Frontiers of Combining Systems, Fifth International Workshop, FroCoS 2005
B. Gramlich editor.
Volume 3717 of Lecture Notes in Artificial Intelligence. Springer, 2005.
ISBN 3-540-29051-6

Automated Reasoning: Third International Joint Conference, IJCAR 2006
U. Furbach and N. Shankar editors.
Volume 4130 of Lecture Notes in Computer Science. Springer, 2006.
ISBN 978-3-540-37187-8

Frontiers of Combining Systems, Sixth International Symposium, FroCoS 2007
B. Konev, F. Wolter editors.
Volume 4720 of Lecture Notes in Artificial Intelligence. Springer, 2007.
ISBN 354074620X

Automated Reasoning: 4th International Joint Conference, IJCAR 2008
Alessandro Armando, Peter Baumgartner and Gilles Dowek editors.
Volume 4933 of Lecture Notes in Computer Science. Springer, 2008.
ISBN 978-3-540-71069-1

Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009
S. Ghilardi, R. Sebastiani editors.
Volume 5749 of Lecture Notes in Artificial Intelligence. Springer, 2009.
ISBN: 978-3-642-04221-8

Automated Reasoning: 5th International Joint Conference, IJCAR 2010
J. Giesl and R. Haehnle editors.
Volume 6173 of Lecture Notes in Computer Science. Springer, 2010.
ISBN 978-3-642-14202-4

Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011
C. Tinelli and V. Sofronie-Stokkermans editors.
Volume 6989 of Lecture Notes in Artificial Intelligence. Springer, 20011.
ISBN: 978-3-642-24363-9

Automated Reasoning: 6th International Joint Conference, IJCAR 2012
B. Gramlich, D. Miller and U. Sattler editors.
Volume 7364 of Lecture Notes in Computer Science. Springer, 2012.
DOI: 10.1007/978-3-642-31365-3

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013
P. Fontaine, C. Ringeissen and R. A. Schmidt editors.
Volume 8152 of Lecture Notes in Computer Science. Springer, 2013.
DOI: 10.1007/978-3-642-40885-4

Automated Reasoning: 7th International Joint Conference, IJCAR 2014
S, Demri, D. Kapur, C. Weidenbach editors.
Volume 8562 of Lecture Notes in Artificial Intelligence. Springer, 2014.
DOI: 10.1007/978-3-319-08587-6

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015
C.Lutz and S, Ranise editors.
Volume 9322 of Lecture Notes in Computer Science. Springer, 2015.
DOI: 10.1007/978-3-319-24246-0

Automated Reasoning: 8th International Joint Conference, IJCAR 2016
N. Olivetti, A. Tiwari editors.
Volume 9706 of Lecture Notes in Computer Science. Springer, 2016.
DOI: 10.1007/978-3-319-40229-1