Home Advanced Search

Advanced Search - Page 1

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
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)
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.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (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.)
Metal-Organic Frameworks: Applications in Separations and Catalysis
  • PDF
  • English
  • Year: 2018
  • Author: Hermenegildo García, Sergio Navalón
Biopolymers for medical applications
  • PDF
  • English
  • Year: 2017
  • Author: Messina, Paula V.; Ruso, Juan Manuel
search