Home Advanced Search

Advanced Search - Page 1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2023
  • Author: Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)
  • PDF
  • English
  • Year: 2023
  • Author: Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)
  • EPUB
  • English
  • Year: 2023
  • Author: Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor)
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Ehud Shapiro (auth.), Roberto Giacobazzi (eds.)
Origins and Evolution of Life: An Astrobiological Perspective
  • PDF
  • English
  • Year: 2011
  • Author: Gargaud M., Lopez-Garcia P., Martin H. (eds.)
Logic-Based Program Synthesis and Transformation
  • PDF
  • English
  • Year: 2018
  • Author: Fabio Fioravanti, John P. Gallagher
Calling the Soul Back: Embodied Spirituality in Chicanx Narrative
  • PDF
  • English
  • Year: 2019
  • Author: Christina Garcia Lopez
Historia De La Filosofia 09
  • PDF
  • Spanish
  • Author: Garcia Lopez Jesus
Elixires Florales y Gestalt
  • EPUB
  • Spanish
  • Author: Lydia Garcia Lopez
search