Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
  • PDF
  • English
  • Year: 2014
  • Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III
  • PDF
  • English
  • Year: 2014
  • Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
  • PDF
  • English
  • Year: 2014
  • Author: Nachum Dershowitz, Ephraim Nissan (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Ancient Indian Leaps into Mathematics
  • PDF
  • English
  • Year: 2011
  • Author: Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
search