|
|
|
|
| LEADER |
01424cam a22004217a 4500 |
| 001 |
BIBLO-49481 |
| 003 |
AR-BaUEN |
| 005 |
20201111150623.0 |
| 008 |
170926s2000 ne ||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9057760533
|
| 044 |
|
|
|a ne
|
| 080 |
|
|
|a 510.643
|
| 100 |
1 |
|
|a Areces, Carlos Eduardo
|
| 245 |
1 |
0 |
|a Logic engineering :
|b the case of description and hybrid logics
|
| 260 |
|
|
|a Amsterdam :
|b Universiteit van Amsterdam, Institute for Logic, Language and Computation,
|c c2000
|
| 300 |
|
|
|a xx, 154 p.
|
| 490 |
0 |
|
|a ILLC dissertation series ;
|v 2000-05
|
| 500 |
|
|
|a Tesis (doctoral) Universidad de Amsterdam, octubre de 2000
|
| 500 |
|
|
|a Bibliografía pp. 139-150
|
| 500 |
|
|
|a Índice analítico de materias.
|
| 505 |
0 |
0 |
|t Acknowledgments
|
| 505 |
0 |
0 |
|t Abstract
|
| 505 |
0 |
0 |
|t Samenvatting
|
| 505 |
0 |
0 |
|g 1
|t Cutting Out Fragments
|
| 505 |
0 |
0 |
|g 2
|t Introducing Description Logics
|
| 505 |
0 |
0 |
|g 3
|t Introducing Hybrid Logics
|
| 505 |
0 |
0 |
|g 4
|t The Connection
|
| 505 |
0 |
0 |
|g 5
|t Improving Reasoning Methods
|
| 505 |
0 |
0 |
|g 6
|t Investigating Expressive Power
|
| 505 |
0 |
0 |
|g 7
|t Mapping Out Complexity
|
| 505 |
0 |
0 |
|g 8
|t Conclusions
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a LOGICAS HIBRIDAS
|
| 653 |
1 |
0 |
|a LOGICAS DE DESCRIPTICION
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 38170
|