- Nueva búsqueda
- |
- Resultados
- |
- Historial
- |
- Mis registros
- |
- Contacto
- |
- Salir
Opciones de ordenamiento: Año/Título Año(d)/TítuloTítuloTítulo/Año: Ordenado por: Año(descendente)/Título
# | Título clave | Datos publicación | Año | ISSN | |
---|---|---|---|---|---|
1 | Review of symbolic logic (En línea) | Cambridge : Cambridge University Press for the Association for Symbolic Logic, 2008-.. | 1755-0211 | ||
2 | Logica Universalis (En línea) | Basel : Birkhäuser, 2007-. | 1661-8300 | ||
3 | Journal of applied logic (En línea) | [Amsterdam ; New York] : Elsevier, 2003-. | 1570-8691 | ||
4 | International journal of computational intelligence and applications (En línea) | London ; Singapore : Imperial College Press. | 1757-5885 | ||
5 | Journal of logic and algebraic programming (En línea) | Amsterdam ; New York : Elsevier, 2001-. | 1873-5940 | ||
6 | Journal of mathematical logic (En línea) | [Singapore] : World Scientific, 2001-. | 1793-6691 | ||
7 | Theory and practice of logic programming (En línea) | Cambridge : Cambridge University Press, 2001-. | 1475-3081 | ||
8 | ACM Transactions on computational logic (En línea) | New York, N.Y. : Association for Computing Machinery, 2000-. | 1557-945X | ||
9 | ACM Transactions on computational logic | New York, N.Y. : Association for Computing Machinery, 2000-. | 1529-3785 | ||
10 | Logic journal of the IGPL (En línea) | Oxford : Oxford University Press 1997-. | 1368-9894 |