Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Michael J. O'Donnell (auth.), Pierre Lescanne (eds.)
Computing in systems described by equations
  • DJVU
  • English
  • Year: 1977
  • Author: Michael J. O'Donnell (eds.)
Computing in systems described by equations
  • PDF
  • English
  • Year: 1977
  • Author: Michael J. O'Donnell (eds.)
Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: J. A. Bergstra (auth.), J. Grabowski, P. Lescanne, W. Wechler (eds.)
Equational Logic as a Programming Language (Foundations of Computing)
  • DJVU
  • English
  • Year: 1985
  • Author: Michael J. O'Donnell
Constructivity in Computer Science: Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding
  • DJVU
  • English
  • Year: 1992
  • Author: Stuart A. Kurtz, John C. Mitchell (auth.), J. Paul Myers Jr., Michael J. O'Donnell (eds.)
Algebraic system specification and development: A survey and annotated bibliography
  • DJVU
  • English
  • Year: 1991
  • Author: Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)
Cortical Deficits In Schizophrenia: From Genes to Function
  • PDF
  • English
  • Year: 2008
  • Author: Paul J. Harrison (auth.), Patricio O'Donnell MD, PhD (eds.)
Advances in Optimization and Numerical Analysis
  • PDF
  • English
  • Year: 1994
  • Author: Michael J. Todd (auth.), Susana Gomez, Jean-Pierre Hennart (eds.)
Modular Functions of One Variable VI: Proceedings International Conference, University of Bonn, Sonderforschungsbereich Theoretische Mathematik July 2–14, 1976
  • PDF
  • English-French
  • Year: 1977
  • Author: Michael J. Razar (auth.), Jean-Pierre Serre, Don Bernard Zagier (eds.)
search