Home Advanced Search

Advanced Search - Page 1

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (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.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • PDF
  • 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.)
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
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Second International Handbook of Science Education
  • PDF
  • English
  • Year: 2012
  • Author: Kenneth Tobin (auth.), Barry J. Fraser, Kenneth Tobin, Campbell J. McRobbie (eds.)
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: John Slaney (auth.), Alan Bundy (eds.)
Global Change and Mountain Regions: An Overview of Current Knowledge
  • PDF
  • English
  • Year: 2005
  • Author: Thomas Hofer (auth.), Uli M. Huber, Harald K. M. Bugmann, Mel A. Reasoner (eds.)
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)
search