Home Advanced Search

Advanced Search - Page 1

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.)
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 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.)
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001 Cambridge, MA, USA, June 16, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Mark E. Crovella (auth.), Dror G. Feitelson, Larry Rudolph (eds.)
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • DJVU
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (eds.)
Space in Weak Propositional Proof Systems
  • PDF
  • English
  • Year: 2017
  • Author: Ilario Bonacina (auth.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
Selectivities in Lewis Acid Promoted Reactions
  • PDF
  • English
  • Year: 1989
  • Author: Larry E. Overman (auth.), Dieter Schinzer (eds.)
search