/Demonstrateur-logique-ALC

Sorbonne University - UE MU4IN800 LRC (Logique et Représentation des Connaissances)

Primary LanguageProlog

Stargazers

No one’s star this repository yet.