Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Robert Nieuwenhuis, José Miguel Rivero (auth.), Paliath Narendran, Michael Rusinowitch (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (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.)
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.)
The Hispalensis Lectures on Nuclear Physics Vol. 2
  • DJVU
  • English
  • Year: 2004
  • Author: A. Capella (auth.), José Miguel Arias, Manuel Lozano (eds.)
Educación, docencia y clase política en el Perú
  • PDF
  • Spanish
  • Year: 2008
  • Author: José Rivero Herrera