Documents
Savoirs
Techniques de raisonnement automatique pour les logiques hybrides, Automated reasoning techniques for hybrid logics
Auteur
Daniel Alejandro Gorín
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.