Home Advanced Search

Advanced Search - Page 1

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.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
On the Teaching of Linear Algebra
  • PDF
  • English
  • Year: 2002
  • Author: Jean-Luc Dorier (auth.), Jean-Luc Dorier (eds.)
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)
New Aspects of Galaxy Photometry: Proceedings of the Specialized Meeting of the Eight IAU European Regional Astronomy Meeting Toulose, September 17–21, 1984
  • PDF
  • English
  • Year: 1985
  • Author: B. Fort (auth.), Jean-Luc Nieto (eds.)
search