Programme ordinateur And NotVladimir Y. Lunin
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000513 | Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
000804 | Nicolas Remy [États-Unis] ; Arben Shtuka [France] ; Bruno Levy [France] ; Jef Caers [États-Unis] | GSTL: the geostatistical template library in C++ |
000887 | Benoit Guillot [France] ; Laurence Viry [France] ; Regis Guillot [France] ; Claude Lecomte [France] ; Christian Jelsch [France] | Refinement of proteins at subatomic resolution with MOPRO |
000C33 | J. L. Mallet [France] | Discrete modeling for natural objects |
This area was generated with Dilib version V0.6.33. |