Home Advanced Search

Advanced Search - Page 1

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.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (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.)
Ancient Indian Leaps into Mathematics
  • PDF
  • English
  • Year: 2011
  • Author: Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)
Höllen-Inszenierung „Wrestling“: Beiträge zur pädagogischen Genre-Forschung
  • PDF
  • German
  • Year: 1996
  • Author: Ben Bachmair (auth.), Dr. Ben Bachmair, Dr. Gunther Kress (eds.)
Calendrical calculations
  • PDF
  • English
  • Year: 2007;2008
  • Author: Dershowitz, Nachum;Reingold, Edward M
search