1 电子书 Hubert Comon-Lundh
Hubert Comon-Lundh & Claude Kirchner: Rewriting, Computation and Proof
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generatio …
PDF
英语
DRM
€57.78
