MARC

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