Comon, Hubert.
概要
| 作品: | 10 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computer aided verification13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
(1998 :); Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service)
(書目-電子資源)
Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
(1998 :); Comon, Hubert.; Marche, Claude.; SpringerLink (Online service); Treinen, Ralf.
(書目-電子資源)
Rewriting techniques and applications8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
(1998 :); Comon, Hubert.; SpringerLink (Online service)
(書目-電子資源)