Profisuche

roy dyckhoff

Grid   List

  1. Automated Reasoning with Analytic Tableaux and Related Methods

    Automated Reasoning with Analytic Tableaux and Related Methods

    Roy Dyckhoff
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the International Conference on Automated Reaso...

    53,49 €
    Alle Preise inkl. MwSt
  2. Extensions of Logic Programming

    Extensions of Logic Programming

    Roy Dyckhoff
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The papers in this volume are extended versions of presentations at the fourth International Work...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  3. Automated Reasoning with Analytic Tableaux and Related Methods

    Automated Reasoning with Analytic Tableaux and Related Methods

    Roy Dyckhoff
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the main papers presented at the International Conference on Analytic Tablea...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  4. Extensions of Logic Programming

    Extensions of Logic Programming

    Roy Dyckhoff
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1