Comon, Hubert.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service); CAV (Conference) (2001 :)
(書目-語言資料,印刷品)
Constraints in computational logics = theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
Comon, Hubert.; Marche, Claude.; Treinen, Ralf.; SpringerLink (Online service); ESPRIT CCL Working Group ((2000 :)
(書目-語言資料,印刷品)
Rewriting techniques and applications = 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
Comon, Hubert.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (1997 :)
(書目-語言資料,印刷品)