Logic-Based Program Synthesis and Transformation المزيد من كتب Michael Hanus

Practical Aspects of Declarative Languages

٢٠٢٣

Functional and Logic Programming

٢٠٢٢

Declarative Programming and Knowledge Management

٢٠١٨

Declarative Programming and Knowledge Management

٢٠١٤

Practical Aspects of Declarative Languages

٢٠٠٦

Applications of Declarative Programming and Knowledge Management

٢٠٠٩