JÃ1/4rgen Giesl

J. G.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings978-3-54O-25596-3
(3-54O-25596-6)
2008

JÃ1/4rgen Harten