Term rewriting and all that

Detalles Bibliográficos
Autor principal: Baader, Franz (-)
Otros Autores: Nipkow, Tobias, 1958-
Formato: Libro
Idioma:Inglés
Publicado: Cambridge [etc.] : University Press 1998.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991003353419703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice.
Descripción Física:XII, 301 p. ; 26 cm
Bibliografía:Bibliogr.: p. 284-296
ISBN:9780521455206