Home Advanced Search

Advanced Search - Page 1

Computation and deduction (lecture notes)
  • PDF
  • English
  • Year: 1997
  • Author: Frank Pfenning
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Frank Pfenning
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Randal E. Bryant (auth.), Frank Pfenning (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.)
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Charles Consel, Hedi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu (auth.), Frank Pfenning, Yannis Smaragdakis (eds.)
Types in logic programming
  • DJVU
  • English
  • Year: 1992
  • Author: Pfenning F. (ed.)
Types in logic programming
  • DJVU
  • English
  • Year: 1992
  • Author: Pfenning F. (ed.)
Principles of Microeconomics: A Streamlined Approach
  • EPUB
  • English
  • Year: 2021
  • Author: FRANK
Don't Fart When You Snuggle: Lessons on How to Make a Human Smile
  • EPUB
  • English
  • Year: 2015
  • Author: From Frank
search