proof representation < proof search < proof structuration | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
002178 |
![]() | Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin) | ![]() |
![]() | Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées. | ![]() |
proof representation < proof search < proof structuration | Facettes : |
Ident. | Authors (with country if any) | Title |
---|---|---|
002178 |