Unification

Unification

Ancora nessuna valutazione
Jan 1, 1990 · Inglese · Brossura (604 pagine)
Aggiungi alla mensola

Valuta questo libro


Esporta diario dei libri

Dettagli del libro

Formato Brossura
Pagine 604
Lingua Inglese
Pubblicato Jan 1, 1990
Editore Academic Pr
ISBN-10 0124095909
ISBN-13 9780124095908

Descrizione

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.

Generi

Scienza e Tecnologia
Aggiungi alla mensola

Valuta questo libro


Esporta diario dei libri