Coq
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Coq
Back to Coq
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
CNRS
dbpedia-latam:
Categoría:Acrónimos_de_informática
dbpedia-latam:
Categoría:Demostradores_de_teoremas
dbpedia-latam:
Cálculo_de_Construcciones
dbpedia-latam:
Demostración_interactiva_de_teoremas
dbpedia-latam:
Francia
dbpedia-latam:
Gallo
dbpedia-latam:
INRIA
dbpedia-latam:
Idioma_francés
dbpedia-latam:
Ocaml
dbpedia-latam:
Universidad_París_XI
dbpedia-latam:
École_Polytechnique