|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20160908123306.0 |
| 008 |
110701s1996 gw||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 3540617566
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 111 |
2 |
|
|a PLILP ’96
|n (8º :
|d 1996 :
|c Aachen, Germany)
|
| 245 |
1 |
0 |
|a Programming languages :
|b implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
|c ed. Herbert Kuchen, S. Doaitse Swierstra.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
| 300 |
|
|
|a xi, 478 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1140
|
| 490 |
0 |
|
|a LNCS ;
|v v. 1140
|
| 650 |
|
4 |
|a Programación aplicativa.
|
| 650 |
|
4 |
|a Applicative programming.
|
| 650 |
|
4 |
|a Lógica matemática-Computación.
|
| 650 |
|
4 |
|a Mathematical logic-Computation.
|
| 650 |
|
4 |
|a Gramáticas y otros sistemas de reescritura.
|
| 650 |
|
4 |
|a Grammars and other rewriting systems.
|
| 650 |
|
4 |
|a Lenguajes formales.
|
| 650 |
|
4 |
|a Formal languages.
|
| 650 |
|
4 |
|a Lenguajes y sistemas.
|
| 650 |
|
4 |
|a Languages and systems.
|
| 650 |
|
4 |
|a Inteligencia artificial-Aplicaciones y sistemas expertos.
|
| 650 |
|
4 |
|a Artificial intelligence-Applications and expert systems.
|
| 650 |
|
4 |
|a Programación en lógica.
|
| 650 |
|
4 |
|a Logic programming.
|
| 650 |
|
4 |
|a Lenguajes de programación-Definiciones formales y teoría.
|
| 650 |
|
4 |
|a Programming languages-Formal definitions and theory.
|
| 650 |
|
4 |
|a Procesadores.
|
| 650 |
|
4 |
|a Processors.
|
| 650 |
|
4 |
|a Estudios de construcción de programas.
|
| 650 |
|
4 |
|a Studies of program constructs.
|
| 700 |
1 |
|
|9 9378
|a Kuchen, Herbert,
|e ed.
|d 1958-
|
| 700 |
1 |
|
|9 16828
|a Swierstra, S. Doaitse,
|e ed.
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2011-07-01
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1140_000000000000000
|7 0
|9 10588
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1140
|p 15120
|r 2010-11-24 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8297
|d 8297
|
