Akademibokhandeln

Jan Heering – författare

Visar alla böcker från författaren Jan Heering.

3 produkter

  1. Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow - Higher-Order Algebra, Logic, and Term Rewriting, Häftad. Tillgänglighet: Lägg i varukorg

    Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

    Av Jan Heering, Karl Meinke m. fl.

    Häftad, 1994

    729 kr

    Lägg i varukorg

  2. Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller - Higher-Order Algebra, Logic, and Term Rewriting, Häftad. Tillgänglighet: Lägg i varukorg

    Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

    Av Gilles Dowek, Jan Heering m. fl.

    Häftad, 1996

    729 kr

    Lägg i varukorg

  3. Michael Hanus, Jan Heering, Karl Meinke - Algebraic and Logic Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Algebraic and Logic Programming

    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

    Av Michael Hanus, Jan Heering m. fl.

    Häftad, 1997

    729 kr

    Lägg i varukorg