LEADER 00642nam a2200241 4500
001 027877
003 arbauncb
008 150429s us g 000 0 eng d
005 20171018130834.0
040 |a AR-BaUNCB  |c AR-BaUNCB 
020 |a 0444880747 
082 0 4 |a 001.6 
653 |a Programación lógica 
653 |a Autómatas 
653 |a Semántica-computación 
653 |a Modelos formales 
653 |a Lenguajes formales 
653 |a Complejidad 
650 7 |a Computación  |2 mpirdes 
650 7 |a Lenguajes de programación  |2 mpirdes 
650 7 |a Algoritmos  |2 unescot 
501 |a V.2: Formal models and semantics.- 
999 |c 27789  |d 27789