Tison, Sophie.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
STACS 99 = 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings /
by:
Tison, Sophie.; Meinel, Christoph.; SpringerLink (Online service); Symposium on Theoretical Aspects of Computer Science (1999 :)
(書目-語言資料,印刷品)
Rewriting techniques and applications = 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
Tison, Sophie.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (2002 :)
(書目-語言資料,印刷品)
STACS 2000 = 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings /
by:
Reichel, Horst.; Tison, Sophie.; SpringerLink (Online service); Symposium on Theoretical Aspects of Computer Science (2000 :)
(書目-語言資料,印刷品)