Hassan Ait-Kaci – författare

Visar alla böcker från författaren Hassan Ait-Kaci. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Rewriting Techniques

   Resolution of Equations in Algebraic Structures

   Av Maurice Nivat, Hassan Ait-Kaci

   E-bok, 2014

   807 kr

   Lägg i varukorg

   Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the …

2. 

   Algebraic Techniques

   Resolution of Equations in Algebraic Structures

   Av Maurice Nivat, Hassan Ait-Kaci

   E-bok, 2014

   789 kr

   Lägg i varukorg

   Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection of papers from the "Colloquium on Resolution of Equations in Algebraic Structures" held in Texas in May 1987. The papers discuss equations and algebraic structures relevant to symbolic computation and to …