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 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
Space in Weak Propositional Proof Systems
  • PDF
  • English
  • Year: 2017
  • Author: Ilario Bonacina (auth.)
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.)
Macromolecular Crystallography: Deciphering the Structure, Function and Dynamics of Biological Molecules
  • PDF
  • English
  • Year: 2012
  • Author: Qian Wu, Lynn Sibanda, Takashi Ochi (auth.), Maria Armenia Carrondo, Paola Spadon (eds.)
search