Name | INRIA, INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET EN AUTOMATIQUE |
Address | DOMAINE DE VOLUCEAU, |
City | LE CHESNAY CEDEX |
State | N/A |
Coutry | France, French Republic |
Number of Trademarks | 3 |
Most common keywords used.
enabling(2) computer software(1) writing checking(1) retrieval software(1) checking(1) mathematical proofs(1) software writing(1) proofs(1) software programming(1) content software(1)