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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
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 ref. del artículo: 2531396
Cantidad disponible: 1 disponibles
Librería: Antiquariat Bernhardt, Kassel, Alemania
Broschiert Broschiert. Condición: 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 ref. del artículo: 492660
Cantidad disponible: 1 disponibles