Una extensión de la máquina abstracta de Warren para la argumentación rebatible.

La máquina abstracta de Warren, o Warren’s Abstract Machine (WAM) es una máquina virtual que consiste de una arquitectura de memoria y un conjunto de instrucciones diseñadas especialmente para la ejecución de Prolog. Actualmente la WAM ha convertido en el estándar de facto para la implementación de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: García, Alejandro Javier, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24074
Aporte de:

Ejemplares similares