Rajaa
Hakutulokset: 9783540731467
Rajaa
yksi hakutulos.
Rewriting, Computation and Proof
nidottu,
2007,
englanti,
ISBN 9783540731467
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 …