Home Advanced Search

Advanced Search - Page 1

The Evolution of Programs
  • PDF
  • English
  • Year: 1983
  • Author: Nachum Dershowitz (auth.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)
search