Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Extensions of Logic Programming Extensions of Logic Programming

    Extensions of Logic Programming

    Roy Dyckhoff
    Springer Berlin Heidelberg
    20.05.1994

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods

    Automated Reasoning with Analytic Tableaux and Related Methods

    Roy Dyckhoff
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    21.06.2000

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Extensions of Logic Programming Extensions of Logic Programming

    Extensions of Logic Programming

    Roy Dyckhoff
    Springer Berlin Heidelberg
    13.03.1996

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1