Home Advanced Search

Advanced Search - Page 1

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.)
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.)
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: I. J. Hayes, R. G. Nickson, P. A. Strooper (auth.), John Gallagher (eds.)
Expert Systems for Scanner Data Environments: The Marketing Workbench Laboratory Experience
  • PDF
  • English
  • Year: 1990
  • Author: John M. McCann, John P. Gallagher (auth.)
Epidemiological Aspects of Cutaneous Malignant Melanoma
  • PDF
  • English
  • Year: 1994
  • Author: Richard P. Gallagher, J. Mark Elwood (auth.), Richard P. Gallagher, J. Mark Elwood (eds.)
Windows on Galaxies: Proceedings of the Sixth Workshop of the Advanced School of Astronomy of the Ettore Majorana Centre for Scientific Culture, Erice, Italy, May 21–31, 1989
  • PDF
  • English
  • Year: 1990
  • Author: J. Gallagher, G. Fabbiano (auth.), Giuseppina Fabbiano, John S. Gallagher, Alvio Renzini (eds.)
Logic-Based Program Synthesis and Transformation
  • PDF
  • English
  • Year: 2018
  • Author: Fabio Fioravanti, John P. Gallagher
Strongly Correlated Magnetic and Superconducting Systems: Proceedings of the El Escorial Summer School Held in Madrid, Spain, 15–19 July 1996
  • DJVU
  • English
  • Year: 1997
  • Author: E. Ercolessi, G. Morandi, P. Pieri (auth.), Germán Sierra, Miguel A. Martín-Delgado (eds.)
search