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 Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Extensions of Logic Programming
    Extensions of Logic Programming
    Roy Dyckhoff
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March April 1993. Amo...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. Extensions of Logic Programming
    Extensions of Logic Programming
    Roy Dyckhoff
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. 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
    Bezug 16-20
    This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3 7, 2000 in St Andrews, Scotland. This conferen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>