Computational Logic: Essays in Honor of Alan Robinson
Автор:Jean-Louis Lassez, Gordon Plotkin Год: [не указано] Издание: [не указанo] Страниц: [не указано] ISBN: 0262121565 Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming.