Unification

Unification

Оценок пока нет
Jan 1, 1990 · Английский · Мягкая обложка (604 страницы)
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг

Детали книги

Формат Мягкая обложка
Страницы 604
Язык Английский
Опубликовано Jan 1, 1990
Издатель Academic Pr
ISBN-10 0124095909
ISBN-13 9780124095908

Описание

Unification theory or equation solving in abstract algebras has become increasingly important in theoretical computer science and artificial intelligence studies. Unification theory has been successfully applied to almost all areas of computer science, from databases to non-classical logics to term-rewriting systems and to natural language processing. This volume presents a detailed summary of the latest developments in unification theory and algorithms.

Жанры

Наука и технологии
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг