- Nueva búsqueda
- |
- Resultados
- |
- Historial
- |
- Mis registros
- |
- Contacto
- |
- Salir
Título clave | ACM Transactions on computational logic (En línea) |
---|---|
Parte del título | Computational logic |
Transactions on computational logic | |
Otro título | TOCL (New York, N.Y., En línea) |
Datos publicación | New York, N.Y. : Association for Computing Machinery, 2000-. |
Frecuencia actual | Trimestral |
Tipo de contenido | texto |
Medio | computadora |
Soporte | recurso en línea |
Nota General | Título de la página inicial de la revista (visto en mayo 2, 2007). |
Restricciones | Acceso sólo para usuarios de REDUNAM |
Nota otro form. | También publicado en forma impresa |
ISSN | 1557-945X |
Tema | Computadoras logicas |
Lógica simbólica y matemática. | |
Organismo respons. | Association for Computing Machinery. |
Texto completo | Texto completo a través de ACM (cubre 2000 v. 1 n. 1 - ) |
Véase también | ACM Transactions on computational logic |
|