Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Massimo Marchiori (auth.), Germán Puebla (eds.)
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)
Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)
Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Włodzimierz Drabent, Jan Małuszyński (auth.), Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.)
Reasoning Web: 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres (auth.), Cristina Baroglio, Piero A. Bonatti, Jan Małuszyński, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (eds.)
Reasoning Web: 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres (auth.), Cristina Baroglio, Piero A. Bonatti, Jan Małuszyński, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (eds.)
Clinical Imaging. With Skeletal, Chest and Abdomen Pattern Differentials
  • PDF
  • English
  • Year: 2014
  • Author: Dennis Marchiori (Auth.)
Understanding the Artificial: On the Future Shape of Artificial Intelligence
  • PDF
  • English
  • Year: 1991
  • Author: Massimo Negrotti (auth.), Massimo Negrotti (eds.)
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: John P. Gallagher (auth.), Germán Vidal (eds.)
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Germán Vidal (auth.), Danny De Schreye (eds.)
search