Home Advanced Search

Advanced Search - Page 1

Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  • DJVU
  • English
  • Year: 2004
  • Author: Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.)
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)
Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.)
Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.)
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Michael Leuschel (auth.), Maurizio Proietti (eds.)
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Michael Leuschel (auth.), Maurizio Proietti (eds.)
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
  • PDF
  • English
  • Year: 2004
  • Author: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)
CASCOM: Intelligent Service Coordination in the Semantic Web
  • PDF
  • English
  • Year: 2008
  • Author: Heikki Helin, Michael Schumacher, Heiko Schuldt (auth.), Michael Schumacher, Helko Schuldt, Helkki Helin (eds.)
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012: 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II
  • PDF
  • English
  • Year: 2012
  • Author: Dominik Kutra, Axel Saalbach, Helko Lehmann, Alexandra Groth, Sebastian P. M. Dries (auth.), Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori (eds.)
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012: 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II
  • PDF
  • English
  • Year: 2012
  • Author: Dominik Kutra, Axel Saalbach, Helko Lehmann, Alexandra Groth, Sebastian P. M. Dries (auth.), Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori (eds.)
search