LIBROS DEL AUTOR: roy dyckhoff

2 resultados para LIBROS DEL AUTOR: roy dyckhoff

roy dyckhoff Eliminar filtro Quitar filtros
  • Automated Reasoning with Analytic Tableaux and Related Methods
    Roy Dyckhoff
    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 conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont-` a-Mouss...
    Disponible

    65,50 €

  • Extensions of Logic Programming
    Roy Dyckhoff
    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. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive defi...
    Disponible

    65,88 €