Home Advanced Search

Advanced Search - Page 1

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
  • PDF
  • English
  • Year: 2020
  • Author: Nicolas Peltier, Viorica Sofronie-Stokkermans
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Nicolas Peltier, Viorica Sofronie-Stokkermans
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Koen Claessen (auth.), Zhenjiang Hu (eds.)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Nikolaj Bjørner, Frank de Boer (eds.)
search