Liknande böcker

Rewriting Techniques and Applications : 4th International Conference, RT...
Bok av Ronald V Book
Rewriting Techniques and Applications : 8th International Conference, RT...
Bok av Hubert Comon
Rewriting techniques and applications : 13th international conference, R...
Bok av Sophie Tison
Nonsymmetric Operads in Combinatorics
Bok av Samuele Giraudo
Automated Deduction - A Basis for Applications Volume I Foundations - Ca...
Bok av Wolfgang Bibel
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouan...
Bok av Hubert. Comon-Lundh
Leo Esakia on Duality in Modal and Intuitionistic Logics
Bok av Guram. Bezhanishvili
Schaum's Outline of Boolean Algebra and Switching Circuits
Bok av Elliott Mendelson

Rewriting techniques and applications : Dijon, France, May 20-22, 1985

Bok av Jean-Pierre Jouannaud
First International Conference on Rewriting Techniques and Applications