Unification

Unification

Aún sin calificaciones
Jan 1, 1990 · Inglés · Tapa blanda (604 páginas)
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Detalles del libro

Formato Tapa blanda
Páginas 604
Idioma Inglés
Publicado Jan 1, 1990
Editorial Academic Pr
ISBN-10 0124095909
ISBN-13 9780124095908

Descripción

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.

Géneros

Ciencia y Tecnología
Añadir a la estantería

Califica este libro


Exportar diario de lectura