- Nueva búsqueda
- |
- Resultados
- |
- Historial
- |
- Mis registros
- |
- Contacto
- |
- Salir
Universidad Nacional
Autónoma de México
SERIUNAM - DGBSDI, UNAM
Resultados 
Vista completa del registro
Enviar/Guardar
Agregar
- Registro 7 de 10
| Título clave |
 Journal of automated reasoning
|
|---|---|
| Datos publicación |
Dordrecht : D. Reidel, 1985-.
|
| Frecuencia actual | Ocho números al año |
| Tipo de contenido | texto |
| Medio | sin medio |
| Soporte | volumen |
| Nota General | Título de la cubierta |
| Inicia en 1985 con el vol. 1, no. 1 | |
| Nota otro form. | También disponible vía World Wide Web |
| ISSN | 0168-7433 |
| Tema |
Teoremas, Comprobación automática de
|
|
Inteligencia artificial.
|
|
| Otras formas fìsic | Journal of automated reasoning (En línea). |
| Véase también | Journal of automated reasoning (En línea) |
|
|
|
| Fascículos | Año 2011 |
| Fascículos | Año 2010 |
| Fascículos | Año 2009 |
| Fascículos | Año 2008 |
| Fascículos | Año 2007 |
| Fascículos | Año 2006 |
| Fascículos | Año 2005 |
| Fascículos | Año 2004 |
| Fascículos | Año 2003 |
| Fascículos | Año 2002 |
| Fascículos | Año 2001 |
| Fascículos | Año 2000 |
| Fascículos | Año 1999 |
| Fascículos | Año 1998 |
| Fascículos | Año 1997 |
| Fascículos | Año 1996 |
| Fascículos | Año 1995 |
| Fascículos | Año 1994 |
| Fascículos | Año 1993 |
| Fascículos | Año 1992 |
| Fascículos | Año 1991 |
| Fascículos | Año 1990 |
| Fascículos | Año 1989 |
| Fascículos | Año 1988 |
| Fascículos | Año 1987 |
| Fascículos | Año 1986 |