adicionar à lista de desejos
R-Calculus, V: Description Logics
language: english
Publisher:
SPRINGER VERLAG, SINGAPORE, January of 2025 ‧
see product details
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789819964628 |
| Publisher: | SPRINGER VERLAG, SINGAPORE |
| Release Date: | January of 2025 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 384 |
| Format: | Book |
| Collection: | Perspectives In Formal Induction, Revision And Evolution |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9789819964628 |
BOOKS FROM THE SAME COLLECTION
-
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€free shipping
-
R-Calculus, Iv: Propositional Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€free shipping -
R-Calculus, Iii: Post Three-Valued Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€free shipping
-
Recent Development Of Alternating Current Field Measurement Combine With New Technology10%SPRINGER VERLAG, SINGAPORE54,74€
60,82€free shipping -
R-Calculus, Iv: Propositional Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€free shipping