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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Paperback. Etat : Good. Type: Book Small plain label inside cover.Staining to covers but text unaffected. N° de réf. du vendeur 052689
Quantité disponible : 1 disponible(s)
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Softcover. 604 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. L07969 9780124095908 Sprache: Englisch Gewicht in Gramm: 1090. N° de réf. du vendeur 2531396
Quantité disponible : 1 disponible(s)
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Broschiert Broschiert. Etat : Gut. X, 604 Seiten, Zust: Gutes Exemplar. Cover und Buchrücken leicht verschmutzt. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020. N° de réf. du vendeur 492660
Quantité disponible : 1 disponible(s)