|
|
|
|
| LEADER |
01266nam a2200337 i 4500 |
| 001 |
000276791 |
| 005 |
20240610131051.0 |
| 008 |
170206s2017 sz a fs 000 0 eng d |
| 020 |
|
|
|a 9783319516530
|q (e-book)
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 100 |
1 |
|
|a Ayala-Rincón, Mauricio
|
| 245 |
1 |
0 |
|a Applied logic for computer scientists :
|b computational deduction and formal proofs /
|c creadores Mauricio Ayala-Rincón, Flávio L. C. de Moura.
|
| 250 |
|
|
|a 1 edición
|
| 260 |
|
|
|a Cham, Suiza :
|b Springer,
|c 2017.
|
| 300 |
|
|
|a 1 recurso en línea :
|b ilustraciones, gráficas.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdaportador
|
| 500 |
|
|
|a Base de Datos SPRINGER
|
| 504 |
|
|
|a Referencias
|
| 590 |
|
|
|a MATE
|
| 590 |
|
|
|a COMP
|
| 590 |
|
|
|a INGE
|
| 650 |
1 |
7 |
|a Lógica computacional
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Informática
|x Matemáticas
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Matemáticas
|x Lenguajes formales
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Funciones algebraicas
|2 Tesauro ARMARC
|
| 655 |
|
4 |
|a Libros electrónicos
|
| 700 |
1 |
|
|a de Moura, Flávio L. C.,
|e creador
|
| 903 |
|
|
|a Elieth
|b 2024/06/10
|