Property | Value |
---|---|
dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/phd/hal/Haddad21> |
dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/phd/hal/haddad21> |
dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Mohamed_Yacine_El_Haddad> |
dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Rabih_Haddad> |
foaf:homepage | <https://hal.archives-ouvertes.fr/tel-03494277> |
foaf:homepage | <https://tel.archives-ouvertes.fr/tel-03387912> |
dc:identifier | DBLP phd/hal/Haddad21 (xsd:string) |
dc:identifier | DBLP phd/hal/haddad21 (xsd:string) |
dcterms:issued | 2021 (xsd:gYear) |
rdfs:label | Integrating Automated Theorem Provers in Proof Assistants. (Utiliser des démonstrateurs automatiques dans un assistant à la preuve). (xsd:string) |
rdfs:label | Système d'aide à la décision intelligent pour l'évaluation multidimensionnelle des acquis appliqués à l'évaluation des profils des étudiants internationaux désireux d'étudier en France. (Intelligent decision support system for multidimensional assessment of prior learning applied to the evaluation of the profiles of international students wishing to study in France). (xsd:string) |
foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Mohamed_Yacine_El_Haddad> |
foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Rabih_Haddad> |
dc:publisher | University of Paris-Saclay, France (xsd:string) |
dc:publisher | University of Reims Champagne-Ardenne, France (xsd:string) |
owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/phd/hal/Haddad21/dblp> |
owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/phd/hal/haddad21/dblp> |
owl:sameAs | <http://dblp.rkbexplorer.com/id/phd/hal/Haddad21> |
owl:sameAs | <http://dblp.rkbexplorer.com/id/phd/hal/haddad21> |
rdfs:seeAlso | <https://hal.archives-ouvertes.fr/tel-03494277> |
rdfs:seeAlso | <https://tel.archives-ouvertes.fr/tel-03387912> |
dc:title | Integrating Automated Theorem Provers in Proof Assistants. (Utiliser des démonstrateurs automatiques dans un assistant à la preuve). (xsd:string) |
dc:title | Système d'aide à la décision intelligent pour l'évaluation multidimensionnelle des acquis appliqués à l'évaluation des profils des étudiants internationaux désireux d'étudier en France. (Intelligent decision support system for multidimensional assessment of prior learning applied to the evaluation of the profiles of international students wishing to study in France). (xsd:string) |
dc:type | <http://purl.org/dc/dcmitype/Text> |
rdf:type | swrc:PhDThesis |
rdf:type | foaf:Document |