Home Advanced Search

Advanced Search - Page 1

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
A Grammatical View of Logic Programming
  • PDF
  • English
  • Year: 1993
  • Author: Pierre Deransart, Jan Maluszynski
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Prolog: The Standard: Reference Manual
  • DJVU
  • English
  • Year: 1996
  • Author: Dr. Pierre Deransart, Dr. AbdelAli Ed-Dbali, Dr. Laurent Cervoni (auth.)
Factorization of polynomials in Fp[x]
  • DJVU
  • English
  • Year: 1993
  • Author: Viry.
New Trends in Dynamic Games and Applications
  • PDF
  • English
  • Year: 1995
  • Author: Pierre Bernhard (auth.), Geert Jan Olsder (eds.)
New Trends in Nonlinear Dynamics and Pattern-Forming Phenomena: The Geometry of Nonequilibrium
  • PDF
  • English
  • Year: 1991
  • Author: Christian Vidal (auth.), Pierre Coullet, Patrick Huerre (eds.)
search