Home Advanced Search

Advanced Search - Page 1

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)
Programming with Higher-Order Logic
  • PDF
  • English
  • Year: 2012
  • Author: Dale Miller, Gopalan Nadathur
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Lambert Meertens (auth.), Herbert Kuchen, S. Doaitse Swierstra (eds.)
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Sergio Antoy (auth.), Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.)
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Sergio Antoy (auth.), Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.)
Parallele Datenverarbeitung mit dem Transputer: 2. Transputer-Anwender-Treffen, TAT ’90, Aachen, 17./18. September 1990 Proceedings
  • PDF
  • German
  • Year: 1991
  • Author: Herbert Kuchen, Andreas Wagener (auth.), Reinhard Grebe, Christian Ziemann (eds.)
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sergio Antoy (auth.), Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.)
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
search