Artículos relacionados a Foundations of Equational Logic Programming
Sinopsis
Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2014
- ISBN 10 366216213X
- ISBN 13 9783662162132
- EncuadernaciónPaperback
- IdiomaInglés
- Contacto del fabricanteno disponible
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
