Home Advanced Search

Advanced Search - Page 1

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

PDF
English
Author: Manuel Hermenegildo, Daniel Cabeza

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.)

Ocio humanista: dimensiones y manifestaciones actuales del ocio

PDF
Spanish
Year: 2000
Author: Manuel Cuenca Cabeza

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

PDF
English
Year: 2010
Author: Gilles Barthe, Manuel Hermenegildo

Aproximación multidisciplinar a los estudios de ocio

PDF
Spanish
Year: 2006
Author: Manuel Cuenca Cabeza (ed)

Logic programming: proceedings of the 1990 North American conference

DJVU
English
Year: 1990
Author: Saumya Debray, Manuel Hermenegildo (ed.)

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)

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.)