M

Manuel Hermenegildo

18 books found

Books by Manuel Hermenegildo
Logic programmingManuel Hermenegildo
⏱ 14h 18m

Logic programming

Manuel Hermenegildo

1990858 pp.
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesManuel Hermenegildo

Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Manuel Hermenegildo

2010No page data
Programming Languages Implementations, Logics and ProgramsManuel Hermenegildo

Programming Languages Implementations, Logics and Programs

Manuel Hermenegildo

1995No page data
Analysis and visualization tools for constraint programmingPierre Deransart
⏱ 6h 7m

Analysis and visualization tools for constraint programming

Pierre Deransart

2000367 pp.
Static AnalysisManuel Hermenegildo

Static Analysis

Manuel Hermenegildo

2003No page data
Practical Aspects of Declarative LanguagesManuel Hermenegildo

Practical Aspects of Declarative Languages

Manuel Hermenegildo

2005No page data
Functional and Logic ProgrammingJacques Garrigue

Functional and Logic Programming

Jacques Garrigue

2008No page data
Verification, Model Checking, and Abstract InterpretationGilles Barthe

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

2010No page data
Functional and Logic ProgrammingManuel Hermenegildo,Jacques Garrigue

Functional and Logic Programming

Manuel Hermenegildo,Jacques Garrigue

2008No page data
Practical Aspects of Declarative LanguagesManuel Hermenegildo,Daniel Cabeza

Practical Aspects of Declarative Languages

Manuel Hermenegildo,Daniel Cabeza

2008No page data
Static AnalysisManuel V. Hermenegildo

Static Analysis

Manuel V. Hermenegildo

2023No page data
Logic-Based Program Synthesis and TransformationManuel V Hermenegildo
⏱ 6h 17m

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo

2017377 pp.
Programming language implementation and logic programmingPLILP '94 (1994 Madrid, Spain)
⏱ 7h 49m

Programming language implementation and logic programming

PLILP '94 (1994 Madrid, Spain)

1994469 pp.
PrologDavid S. Warren

Prolog

David S. Warren

2023No page data
Hermenegildo Lanz: Granada y las vanguardias culturales (1917-1936)Hermenegildo Lanz
⏱ 43m

Hermenegildo Lanz: Granada y las vanguardias culturales (1917-1936)

Hermenegildo Lanz

199443 pp.
Contra el flamenco. Historia documental del Concurso de Cante Jondo de Granada, 1922Manuel de Falla y Matheu
⏱ 10h 20m

Contra el flamenco. Historia documental del Concurso de Cante Jondo de Granada, 1922

Manuel de Falla y Matheu

2022620 pp.
Contra el flamenco. Historia documental del Concurso de Cante Jondo de Granada, 1922Manuel de Falla y Matheu
⏱ 10h 20m

Contra el flamenco. Historia documental del Concurso de Cante Jondo de Granada, 1922

Manuel de Falla y Matheu

2022620 pp.
Problemas prácticos y actualidad del Derecho AdministrativoJorge Aguirregomezcorta Oppelt
⏱ 15h 44m

Problemas prácticos y actualidad del Derecho Administrativo

Jorge Aguirregomezcorta Oppelt

2014944 pp.