Home Advanced Search

Advanced Search - Page 1

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (eds.)
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (eds.)
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
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.)
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.)
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 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.)
search