Home Advanced Search

Advanced Search - Page 1

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Amy P. Felty, Aart Middeldorp (eds.)
Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Henk Barendregt (auth.), Aart Middeldorp (eds.)
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl (auth.), Franz Winkler (eds.)
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)
Marketing Aspects of International Business
  • PDF
  • English
  • Year: 1984
  • Author: Warren J. Keegan (auth.), Gerald M. Hampton, Aart P. van Gent (eds.)
The Inverse Scattering Transformation and The Theory of Solitons: An Introduction
  • PDF
  • English
  • Year: 1981
  • Author: Wiktor Eckhaus and Aart van Harten (Eds.)
Power and Authority in Internet Governance
  • PDF
  • English
  • Year: 2021
  • Author: Blayne Haggart, Natasha Tusikov, Jan Aart Scholte (eds.)
search