Helene Kirchner - Böcker

Visar alla böcker från författaren Helene Kirchner.
7 produkter
Helene Kirchner, Christophe Ringeissen - Algebraic Methodology and Software Technology, Häftad
Del 2422 - Lecture Notes in Computer Science

Algebraic Methodology and Software Technology

Av Helene Kirchner, Christophe Ringeissen

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar
Helene Kirchner, Wolfgang Wechler - Algebraic and Logic Programming, Häftad
Del 463 - Lecture Notes in Computer Science

Algebraic and Logic Programming

Av Helene Kirchner, Wolfgang Wechler

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar
Helene Kirchner, Giorgio Levi - Algebraic and Logic Programming, Häftad
Del 632 - Lecture Notes in Computer Science

Algebraic and Logic Programming

Av Helene Kirchner, Giorgio Levi

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar
Helene Kirchner - Trees in Algebra and Programming - CAAP '96, Häftad
Del 1059 - Lecture Notes in Computer Science

Trees in Algebra and Programming - CAAP '96

Av Helene Kirchner

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar
Claude Kirchner, Helene Kirchner - Automated Deduction - CADE-15, Häftad

Automated Deduction - CADE-15

Av Claude Kirchner, Helene Kirchner

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar
Helene Kirchner, Christophe Ringeissen - Frontiers of Combining Systems, Häftad

Frontiers of Combining Systems

Av Helene Kirchner, Christophe Ringeissen

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof, Häftad

Rewriting, Computation and Proof

Av Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar