Jean-Pierre Jouannaud
Jean-Pierre Jouannaud
4 ספרים במאגר
ספרים
Conditional Term Rewriting SystemsJean-Pierre Jouannaud
Conditional Term Rewriting Systems
Jean-Pierre Jouannaud · 2007
Functional Programming Languages and Computer ArchitectureJean-Pierre Jouannaud
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud · 1986
Rewriting Techniques and ApplicationsJean-Pierre Jouannaud
Rewriting Techniques and Applications
Jean-Pierre Jouannaud · 1985
Certified Programs and ProofsJean-Pierre Jouannaud
Certified Programs and Proofs
Jean-Pierre Jouannaud · 2011
ספרים משותפים ואוספים
ספרים שבהם Jean-Pierre Jouannaud מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
