|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20160908123326.0 |
| 008 |
120217s1996 gw||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 3540614796
|
| 040 |
|
|
|a AR_CdUFM
|
| 245 |
0 |
0 |
|a Over-constrained systems /
|c ed. Michael Jampel, Eugene Freuder, Michael Maher.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
| 300 |
|
|
|a x, 309 p. :
|b Il. ;
|c 24 cm.
|
| 650 |
|
4 |
|a Programación-Técnicas.
|
| 650 |
|
4 |
|a Programming techniques.
|
| 650 |
|
4 |
|a Deduction and theorem proving.
|
| 650 |
|
4 |
|a Knowledge representation formalisms and methods frames and scripts.
|
| 650 |
|
4 |
|a Representación del conocimiento, métodos, formas y scripts.
|
| 650 |
|
4 |
|a Logic programming.
|
| 650 |
|
4 |
|a Semántica de lenguajes de programación.
|
| 650 |
|
4 |
|a Semantics of programming languages.
|
| 650 |
|
4 |
|a Lógica matemática-Computación.
|
| 650 |
|
4 |
|a Mathematical logic-Computation.
|
| 650 |
|
4 |
|a Clasificación de lenguajes.
|
| 650 |
|
4 |
|a Language classifications.
|
| 650 |
|
4 |
|a Lenguaje-Construcciones y características.
|
| 650 |
|
4 |
|a Language constructs and features.
|
| 650 |
|
4 |
|a Programación concurrente.
|
| 650 |
|
4 |
|a Concurrent programming.
|
| 650 |
|
4 |
|a Problem solving, control methods and search backtracking.
|
| 650 |
|
4 |
|a Deducción y prueba de teoremas.
|
| 700 |
1 |
|
|9 8213
|a Jampel, Michael,
|e ed.
|
| 700 |
1 |
|
|9 5584
|a Freuder, Eugene,
|e ed.
|
| 700 |
1 |
|
|9 10660
|a Maher, Michael,
|e ed.,
|d 1959-
|
| 942 |
|
|
|c LIBRO
|
| 945 |
|
|
|a AB
|
| 945 |
|
|
|a MCR
|d 2012-02-17
|
| 490 |
|
|
|a Lecture notes in computer science ;
|v v. 1106
|a LNCS ;
|v v. 1106
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1106_000000000000000
|7 0
|9 10840
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC
|l 0
|o C LNCS v. 1106
|p 15364
|r 2010-11-24 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8472
|d 8472
|
