Imagen de Portada

Computational logic : essays in honor of Alan Robinson /

Guardado en:
Otros Autores: Robinson, J. A., Lassez, Jean-Louis., Plotkin, G. 1946-
Formato: Libro
Idioma:English
Publicado: Cambridge, Mass. : MIT Press, c1991.
Materias:
Robinson, J. A. > (John Alan)
Automatic theorem proving.
Logic programming.
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
BIB. COMPUTACION
Ubicación de la biblioteca
Volumen/Tomo: No especificado
Ejemplares: 2
Signatura:

Ejemplares similares