R-Calculus, V: Description Logics

Β· Springer Nature
ЭлСктронная ΠΊΠ½ΠΈΠ³Π°
384
ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ страниц
ΠžΡ†Π΅Π½ΠΊΠΈ ΠΈ ΠΎΡ‚Π·Ρ‹Π²Ρ‹ Π½Π΅ ΠΏΡ€ΠΎΠ²Π΅Ρ€Π΅Π½Ρ‹. ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½Π΅Π΅β€¦

Об элСктронной ΠΊΠ½ΠΈΠ³Π΅

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.

Об Π°Π²Ρ‚ΠΎΡ€Π΅

Wei Li is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.

Yuefei Sui is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computation.


ΠžΡ†Π΅Π½ΠΈΡ‚Π΅ ΡΠ»Π΅ΠΊΡ‚Ρ€ΠΎΠ½Π½ΡƒΡŽ ΠΊΠ½ΠΈΠ³Ρƒ

ΠŸΠΎΠ΄Π΅Π»ΠΈΡ‚Π΅ΡΡŒ с Π½Π°ΠΌΠΈ своим ΠΌΠ½Π΅Π½ΠΈΠ΅ΠΌ.

Π“Π΄Π΅ Ρ‡ΠΈΡ‚Π°Ρ‚ΡŒ ΠΊΠ½ΠΈΠ³ΠΈ

Π‘ΠΌΠ°Ρ€Ρ‚Ρ„ΠΎΠ½Ρ‹ ΠΈ ΠΏΠ»Π°Π½ΡˆΠ΅Ρ‚Ρ‹
УстановитС ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Google Play Книги для Android ΠΈΠ»ΠΈ iPad/iPhone. Оно синхронизируСтся с вашим Π°ΠΊΠΊΠ°ΡƒΠ½Ρ‚ΠΎΠΌ автоматичСски, ΠΈ Π²Ρ‹ смоТСтС Ρ‡ΠΈΡ‚Π°Ρ‚ΡŒ Π»ΡŽΠ±ΠΈΠΌΡ‹Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ ΠΈ ΠΎΡ„Π»Π°ΠΉΠ½ Π³Π΄Π΅ ΡƒΠ³ΠΎΠ΄Π½ΠΎ.
Ноутбуки ΠΈ Π½Π°ΡΡ‚ΠΎΠ»ΡŒΠ½Ρ‹Π΅ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Ρ‹
Π‘Π»ΡƒΡˆΠ°ΠΉΡ‚Π΅ Π°ΡƒΠ΄ΠΈΠΎΠΊΠ½ΠΈΠ³ΠΈ ΠΈΠ· Google Play Π² Π²Π΅Π±-Π±Ρ€Π°ΡƒΠ·Π΅Ρ€Π΅ Π½Π° ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π΅.
Устройства для чтСния ΠΊΠ½ΠΈΠ³
Π§Ρ‚ΠΎΠ±Ρ‹ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΡŒ ΠΊΠ½ΠΈΠ³Ρƒ Π½Π° Ρ‚Π°ΠΊΠΎΠΌ устройствС для чтСния, ΠΊΠ°ΠΊ Kobo, скачайтС Ρ„Π°ΠΉΠ» ΠΈ Π΄ΠΎΠ±Π°Π²ΡŒΡ‚Π΅ Π΅Π³ΠΎ Π½Π° устройство. ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½Ρ‹Π΅ инструкции ΠΌΠΎΠΆΠ½ΠΎ Π½Π°ΠΉΡ‚ΠΈ Π² Π‘ΠΏΡ€Π°Π²ΠΎΡ‡Π½ΠΎΠΌ Ρ†Π΅Π½Ρ‚Ρ€Π΅.