Automated Reasoning in the Class

Fiche du document

Auteurs
Discipline
Type de document
Périmètre
Langue
Identifiants
Source

HAL SHS (Sciences de l’Homme et de la Société)

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Licence

info:eu-repo/semantics/OpenAccess

Sujets proches En

Natural science Sciences Science of science Argumentation Ratiocination

Citer ce document

Isabela Drămnesc et al., « Automated Reasoning in the Class », HAL SHS (Sciences de l’Homme et de la Société), ID : 10670/1.7a39f4...

Métriques

Partage / Export

Résumé 0

International audience

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines