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
Search Result 1
Publicado 1998
Conectar con la versión electrónica
Libro electrónico