Hennicker, Rolf, (1952-)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
by:
Hennicker, Rolf, (1952-); Pattinson, Dirk, (1970-); Wirsing, M.; SpringerLink (Online service); WADT 2002 ((2002 :)
(書目-語言資料,印刷品)