A Proof Theory for Description Logics
- ISBN
- 9781447140023
A Proof Theory for Description Logics est un mathematical logic and formal languages, mathematics of computing book de Alexandre Rademaker.
Découvrez A Proof Theory for Description Logics de Alexandre Rademaker, mathematical logic and formal languages.
À propos de l'auteur
est l'auteur de A Proof Theory for Description Logics. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Alexandre Rademaker →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de A Proof Theory for Description Logics ?+
A Proof Theory for Description Logics est un livre de Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science.
Qui a écrit A Proof Theory for Description Logics ?+
A Proof Theory for Description Logics a été écrit par Alexandre Rademaker.