*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Roy Dyckhoff
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Lectures.- Tableau Algorithms for Description Logics.- Modality and Databases.- Local Sym...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Extensions of Logic Programming
    Extensions of Logic Programming
    Roy Dyckhoff
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Extensions of Logic Programming
    Extensions of Logic Programming
    Roy Dyckhoff
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1