Descripción del título

Recurso Continuado
recurso_continuado Rebiun00103849 https://catalogo.rebiun.org/rebiun/record/Rebiun00103849 cr#||#---||||| 181106c20009999xxuqr o 000 ||eng d 1557-945X CBUC 991004231389706706 UAM 991007664838804211 UPM 991005516233904212 UCAR 991007753129104213 UPVA 996885531603706 CBUC 991001066449806712 CBUC 991058475929706706 CBUC 991012611338706708 CBUC 991058475929706706 UPO spa rda 004.8 (05) (0:004.738.5) ACM trans. comput. log ACM transactions on Computational Logic Association for Computing Machinery transactions on computational logic Recurso electrónico] Transactions on Computational Logic Recurso electrónico] TOCL Recurso electrónico] New York Asociation for Computing Machinery New York New York Asociation for Computing Machinery Trimestral Texto txt rdacontent computadora c rdamedia recurso en línea cr rdacarrier vol. 1, no. 1 (July 2000)- Disponible en línea y en papel Conexión a Internet. Navegador WWW y lector Adobe Acrobat Lógica simbólica y matemática- Publicaciones periódicas electrónicas. EMBUS Informática- Publicaciones periódicas electrónicas. EMBUS Association for Computing Machinery ACM transactions on Computational Logic (impreso) 1529-3785