Home Advanced Search

Advanced Search - Page 1

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.)
Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: José Júlio Alferes, Moa Johansson
Hazards, Decontamination, and Replacement of PCB: A Comprehensive Guide
  • PDF
  • English
  • Year: 1989
  • Author: Douglas E. Metcalfe, George Zukovs, Donald Mackay, Sally Paterson (auth.), Jean-Pierre Crine (eds.)
Space in Weak Propositional Proof Systems
  • PDF
  • English
  • Year: 2017
  • Author: Ilario Bonacina (auth.)
Innovation Systems in the Service Economy: Measurement and Case Study Analysis
  • PDF
  • English
  • Year: 2000
  • Author: J. Stanley Metcalfe, Ian Miles (auth.), J. Stanley Metcalfe, Ian Miles (eds.)
Wealth from Diversity: Innovation, Structural Change and Finance for Regional Development in Europe
  • PDF
  • English
  • Year: 1996
  • Author: X. Vence-Deza, J. S. Metcalfe (auth.), Xavier Vence-Deza, John Stanley Metcalfe (eds.)
search