jean pierre pecuchet (13 risultati)

Paperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.

Second INternational Workshop, IWWERT '91 Rouen, Oktober 1991, Proceedings. Berlin, Springer 1993. 214 S., OKart. Sehr gutes Exemplar.

Condizione: New. In.

PF. Condizione: New.

Condizione: New. pp. 214.

Condizione: New. pp. 214 Illus.

Condizione: New. pp. 214.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics(IWWERT '91), held at the University ofRouen in October1991.The papers are on the following topics: general solution ofword equations, conjugacy in free inverse monoids, generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of termination forassociative unification, theorem proving by combinatorialoptimization, solving string equations with constantrestriction, LOP (toward a new implementation of Makanin'salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on the subsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories.

Taschenbuch. Condizione: Neu. Word Equations and Related Topics | Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings | Habib Abdulrab (u. a.) | Taschenbuch | viii | Englisch | 1993 | Springer | EAN 9783540567301 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Jan 01, 2000. Condizione: Used: Acceptable. Modélisation et simulation des systèmes de production et de logistique | Itmi et alii | Hermes, 1997, in-8 broché, 584 pages. Couverture légèrement passée. Dos solide. Intérieur frais. Quelques traces sur un coin de tranche, sans gravité. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. [BT61].

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics(IWWERT '91), held at the University ofRouen in October1991.The papers are on the following topics: general solution ofword equations, conjugacy in free inverse monoids, generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of termination forassociative unification, theorem proving by combinatorialoptimization, solving string equations with constantrestriction, LOP (toward a new implementation of Makanin'salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on the subsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories. 228 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics(IWWERT 91), held at the University ofRouen in October1991.The papers are on the following topics: general solution ofword equations, conjugacy .

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991. The papers are on the following topics: general solution of word equations, conjugacy in free inverse monoids, general A- and AX-unification via optimized combination procedures, wordequations with two variables, a conjecture about conjugacy in free groups, acase of termination for associative unification, theorem proving by combinatorial optimization, solving string equations with constant restriction, LOP (toward a new implementation of Makanin's algorithm), word unification and transformation of generalizedequations, unification in the combination of disjoint theories, on the subsets of rank two in a free monoid (a fast decision algorithm), and a solution of the complement problem in associative-commutative theories.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.