Обложка книги Computational Logic: Essays in Honor of Alan Robinson

Computational Logic: Essays in Honor of Alan Robinson

,

ISBN: 0262121565; 9780262121569;
Издательство: The MIT Press
Страниц: 736

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming.