Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (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.)
search