A Proof Theory for Description Logics
- ISBN
- 9781447140023
A Proof Theory for Description Logics è un mathematical logic and formal languages, mathematics of computing book di Alexandre Rademaker.
Scopri A Proof Theory for Description Logics di Alexandre Rademaker, mathematical logic and formal languages.
Sull'Autore
è l'autore di A Proof Theory for Description Logics. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Alexandre Rademaker →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è A Proof Theory for Description Logics?+
A Proof Theory for Description Logics è un libro di Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science.
Chi ha scritto A Proof Theory for Description Logics?+
A Proof Theory for Description Logics è stato scritto da Alexandre Rademaker.