Releases med Jean-pierre Jouannaud

På lager hos iMusic Vis utilgjengelige utgivelser

Cover for Jean-pierre Jouannaud · Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2011 edition] (2011)

Certified Programs and Proofs: F... (2011)

Jean-pierre Jouannaud

Cover for Jean-pierre Jouannaud · Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7 - 9, 1994. Proceedings (First International Conference, Ccl'94, Munich, Germany, September 7-9, 1994 - Proceedings) - Lecture Notes in Computer Scie (Pocketbok) (1994)

Constraints in Computational Log... (1994)

Jean-pierre Jouannaud

Cover for Jean-pierre Jouannaud · Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 - Lecture Notes in Computer Science (Pocketbok) (1985)

Rewriting Techniques and Applica... (1985)

Jean-pierre Jouannaud

Cover for Jean-pierre Jouannaud · Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 - Lecture Notes in Computer Science (Pocketbok) (1985)

Functional Programming Languages... (1985)

Jean-pierre Jouannaud