R-Calculus, V: Description Logics

Main
Mathematics - Logic
R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Name: R-Calculus, V: Description Logics
ISBN: 9789819964598

Wei Li, Yuefei Sui

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

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.

კატეგორია:

Mathematics - Logic

წელი:

2024

გამომცემლობა:

Springer

ენა:

english

გვერდები:

392

ISBN 10:

9819964598