Erweiterte Suche

Grid  List

  1. Higher-Order Algebra, Logic, and Term Rewriting Higher-Order Algebra, Logic, and Term Rewriting

    Higher-Order Algebra, Logic, and Term Rewriting

    Jan Heering
    Springer Berlin Heidelberg
    28.07.1994

    This volume contains the final revised versions of the best papers presented at the First Interna...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Algebraic and Logic Programming Algebraic and Logic Programming

    Algebraic and Logic Programming

    Michael Hanus
    Springer Berlin Heidelberg
    20.08.1997

    This book constitutes the refereed proceedings of the 6th International Conference on Algebraic a...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Higher-Order Algebra, Logic, and Term Rewriting Higher-Order Algebra, Logic, and Term Rewriting

    Higher-Order Algebra, Logic, and Term Rewriting

    Gilles Dowek
    Springer Berlin Heidelberg
    08.05.1996

    This book presents a collection of revised refereed papers selected from the presentations accept...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Language Prototyping: An Algebraic Specification Approach Language Prototyping: An Algebraic Specification Approach

    Language Prototyping: An Algebraic Specification Approach

    Jan Heering
    World Scientific Publishing Company
    01.09.1996

    Language prototyping provides a means to generate language implementations automatically from hig...

    Gebunden
    132,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1