Home Advanced Search

Advanced Search - Page 1

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Jean-Marc Andreoli (auth.), Jean-Yves Girard (eds.)
Information Technology for Knowledge Management
  • PDF
  • English
  • Year: 1998
  • Author: Uwe M. Borghoff, Remo Pareschi (auth.), Dr. Uwe M. Borghoff, Dr. Remo Pareschi (eds.)
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
  • PDF
  • English
  • Year: 1995
  • Author: Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.)
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
  • DJVU
  • English
  • Year: 1995
  • Author: Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.)
Object-Oriented Programming: 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Luc Steels (auth.), Mario Tokoro, Remo Pareschi (eds.)
Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
search