A Proof Theory For Description Logics
- ISBN
- 9781447140016
A Proof Theory For Description Logics è un logic, symbolic and mathematical book di Alexandre Rademaker.
Scopri A Proof Theory For Description Logics di Alexandre Rademaker, logic, symbolic and mathematical.
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 Logic, symbolic and mathematical.
Chi ha scritto A Proof Theory For Description Logics?+
A Proof Theory For Description Logics è stato scritto da Alexandre Rademaker.