|
|
|
|
| LEADER |
01347nam a2200373 i 4500 |
| 001 |
000277945 |
| 005 |
20240805090519.0 |
| 008 |
170710s2017 sz a fs 100 0 eng d |
| 020 |
|
|
|a 9783319630465
|q (e-book)
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 111 |
2 |
|
|a International conference on automated deduction. Proceedings
|n (26° :
|d 2017 : agosto, 6-11 :
|c Gotemburgo, Suecia)
|
| 245 |
1 |
0 |
|a Automated deduction - CADE 26 /
|c editor Leonardo 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áficos.
|
| 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 INGE
|
| 590 |
|
|
|a MATE
|
| 590 |
|
|
|a COMP
|
| 590 |
|
|
|a TECN
|
| 590 |
|
|
|a MANT
|
| 650 |
1 |
7 |
|a Algoritmos
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Inteligencia artificial
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Lógica computacional
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Ingeniería de software
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Acta de congreso
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Libros electrónicos
|
| 700 |
1 |
|
|a de Moura, Leonardo,
|e editor
|
| 903 |
|
|
|a Elieth
|b 2024/08/05
|