Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000D71 | YUDONG SUN [France] ; M.-C. Haton ; B. Devin | Integrating theorem proving and partial evaluation techniques for organic synthesis and teaching |
This area was generated with Dilib version V0.6.33. |