|
|
|
|
| LEADER |
01115nam a2200253 a 4500 |
| 001 |
000646937 |
| 005 |
20250131173548.0 |
| 008 |
210720s2012 enkd gr ||||||eng d |
| 020 |
|
|
|a 9781447140023
|q (ebook)
|
| 020 |
|
|
|a 9781447140016
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 082 |
0 |
|
|a 006.332
|2 23
|
| 100 |
1 |
|
|a Rademaker, Alexandre
|e Autor/a
|
| 245 |
1 |
2 |
|a A proof theory for description logics /
|c Alexandre Rademaker.
|
| 260 |
|
|
|a London :
|b Springer,
|c c2012.
|
| 300 |
|
|
|a 1 recurso en línea (x, 106 páginas) :
|b diagramas en blanco y negro, archivo de texto, PDF.
|
| 490 |
0 |
|
|a SpringerBriefs in computer science / series Editors Stan Zdonik [y otros nueve]
|
| 506 |
|
|
|a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional
|
| 650 |
0 |
0 |
|a REPRESENTACION DEL CONOCIMIENTO (TEORIA DE LA INFORMACION)
|
| 650 |
0 |
7 |
|a TEORIA DE LA PRUEBA
|x PROCESAMIENTO DE DATOS
|
| 856 |
4 |
1 |
|u https://springerlink.proxyucr.elogim.com/book/10.1007/978-1-4471-4002-3
|y Ver documento en línea
|
| 900 |
|
|
|a 2025-O
|
| 916 |
|
|
|a Centro Catalográfico
|
| 949 |
|
|
|a MELS -SVZ
|