Théorie programmation And NotR. M. Amadio
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000B41 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France] | Observational proofs with critical contexts |
000B49 | C. Lynch [France] | Local simplification |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |