Recorriendo el catálogo completo
Resultado 89 de 1691
 

Logic programming : operational semantics and proof theory

James H. Andrews.

Cambridge ; New York : Cambridge University Press, 1992.

xi, 104 págs. : ilustraciones ; 26 cm.

Serie: Distinguished dissertations in computer science

ISBN: 0521432197

GB92-03126

Incluye referencias bibliográficas (p. 89-94) e índice.

 
Registro 000769 · Modificado: 23/11/2015

Explorar índices alfabéticos


Es suficiente con que ingrese las primeras letras. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)