adicionar à lista de desejos
R-Calculus, V: Description Logics
idioma: inglês
Editor:
SPRINGER VERLAG, SINGAPORE, Janeiro de 2025 ‧
ver detalhes do produto
SINOPSE
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789819964628 |
| Editor: | SPRINGER VERLAG, SINGAPORE |
| Data de Lançamento: | Janeiro de 2025 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 384 |
| Tipo de produto: | Livro |
| Coleção: | Perspectives In Formal Induction, Revision And Evolution |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9789819964628 |
LIVROS DA MESMA COLEÇÃO
-
R-Calculus, Vi: Finite Injury Priority MethodeBook10%Springer Nature Singapore143,09€
158,99€ -
R-Calculus, Iii: Post Three-Valued Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€portes grátis