MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122754.0
008 111123s1992 ne||||| |||| 00| 0 eng d
020 |a 0444880712 (v. A) 
020 |a 0444880747 (v. B) 
020 |a 0444880755 (set) 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Handbook of theoretical computer science /   |c ed. Jan van Leeuwen. 
260 |a Amsterdam :   |b Elsevier,   |c 1992. 
300 |a 2 v. :  |b il. ;  |c 25 cm. 
500 |a La biblioteca posee v. A y B. 
505 0 |a v.A. Algorithms and complexity -- v. B. Formal models and semantics 
650 4 |a Teoría de la computación. 
650 4 |a Theory of computation. 
650 4 |a Análisis de algoritmos.  
650 4 |a Analysis of algorithms. 
650 4 |a Problemas de complejidad. 
650 4 |a Problem complexity. 
650 4 |a Lógica matemática-Computación. 
650 4 |a Mathematical logic-Computation. 
650 4 |a Definiciones formales y teoría 
650 4 |a Formal definitions and theory. 
700 1 |9 9832  |a Leeuwen, Jan van,   |e ed. 
942 |c LIBRO 
945 |a MCR  |d 2011-11-23 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F0_H236_VA  |7 0  |9 7295  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F0 H236 v.A  |p 14021  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F0_H236_VB  |7 0  |9 7296  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 2  |o C F0 H236 v.B  |p 14022  |r 2023-01-24 00:00:00  |s 2011-10-07  |w 2008-06-09  |y LIBRO 
999 |c 5513  |d 5513