Home Advanced Search

Advanced Search - Page 1

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. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Manuel V. Hermenegildo, José F. Morales
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  • DJVU
  • English
  • Year: 2005
  • Author: Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)
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
Prolog: The Next 50 Year
  • PDF
  • English
  • Year: 2023
  • Author: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
Prolog: The Next 50 Years
  • EPUB
  • English
  • Year: 2023
  • Author: David S. Warren; Veronica Dahl; Thomas Eiter; Manuel V. Hermenegildo; Robert Kowalski; Francesca Rossi
Logic programming: proceedings of the 1990 North American conference
  • DJVU
  • English
  • Year: 1990
  • Author: Saumya Debray, Manuel Hermenegildo (ed.)
search