Books by Manuel Hermenegildo

18 books found

Logic programming

Logic programming

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

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

20101 ed.
Programming Languages Implementations, Logics and Programs

Programming Languages Implementations, Logics and Programs

19951 ed.
Analysis and visualization tools for constraint programming

Analysis and visualization tools for constraint programming

20002 ed.
Static Analysis

Static Analysis

20031 ed.
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

20051 ed.
Functional and Logic Programming

Functional and Logic Programming

20081 ed.
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

20101 ed.
Functional and Logic Programming

Functional and Logic Programming

20081 ed.
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

20081 ed.
Static Analysis

Static Analysis

20231 ed.
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

20171 ed.
Programming language implementation and logic programming

Programming language implementation and logic programming

19943 ed.
Prolog

Prolog

20231 ed.
Problemas prácticos y actualidad del Derecho Administrativo

Problemas prácticos y actualidad del Derecho Administrativo

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

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

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

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

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

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

20221 ed.