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.
"synopsis" may belong to another edition of this title.
Seller: Antiquariat Bernhardt, Kassel, Germany
Broschiert Broschiert. Condition: 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. Seller Inventory # 492660
Quantity: 1 available
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Condition: gut. 1990. Unification In englischer Sprache. pages. Seller Inventory # BN471616
Quantity: 1 available