Liknande böcker

Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
Isabelle
Bok av Lawrence C. Paulson
Algebraic and logic programming
Bok av Michael Hanus
Mathematical Foundations of Programming Semantics
Bok
Algorithmic Language and Program Development
Bok av Hans Wössner
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Rewriting Techniques and Applications : 8th International Conference, RT...
Bok av Hubert Comon

Algebraic and Logic Programming

Bok av Michael Hanus