|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20190807181956.0 |
| 008 |
120222s1996 gw||||| |||| 00| 0 eng d |
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1128_000000000000000
|7 0
|9 10607
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1128
|p 15146
|r 2013-08-22 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8316
|d 8316
|
| 020 |
|
|
|a 3540616977
|
| 040 |
|
|
|a AR_CdUFM
|
| 111 |
2 |
|
|a International Symposium DISCO '96
|n (4º :
|d 1996 :
|c Karlsruhe, Germany)
|
| 245 |
1 |
0 |
|a Design and implementation of symbolic computation systems /
|c ed. Jacques Calmet, Carla Limongelli.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
| 300 |
|
|
|a ix, 356 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1128
|
| 490 |
0 |
|
|a LNCS ;
|v v. 1128
|
| 650 |
|
4 |
|a Manipulación algebraica.
|
| 650 |
|
4 |
|a Algebraic manipulation.
|
| 650 |
|
4 |
|a Programación automática.
|
| 650 |
|
4 |
|a Automatic programming.
|
| 650 |
|
4 |
|a Deducción y prueba de teoremas.
|
| 650 |
|
4 |
|a Deduction and theorem proving.
|
| 650 |
|
4 |
|a Lenguajes de programación y software.
|
| 650 |
|
4 |
|a Programming languages and software.
|
| 650 |
|
4 |
|a Programación-Técnicas.
|
| 650 |
|
4 |
|a Programming techniques.
|
| 650 |
|
4 |
|a Software-Requerimientos y especificaciones.
|
| 650 |
|
4 |
|a Software-Requeriments and specifications.
|
| 650 |
|
4 |
|a Software-Diseño.
|
| 650 |
|
4 |
|a Software-Design.
|
| 650 |
|
4 |
|a Lenguajes de programación.
|
| 650 |
|
4 |
|a Programming languages.
|
| 700 |
1 |
|
|9 2584
|a Calmet, Jacques,
|d 1941-,
|e ed.
|
| 700 |
1 |
|
|9 10130
|a Limongelli, Carla
|e ed.
|
| 942 |
|
|
|c LIBRO
|2 CCS
|
| 945 |
|
|
|a AB
|
| 945 |
|
|
|a 2012-02-22
|
