LIBROS DEL AUTOR: nicolas peltier

1 resultados para LIBROS DEL AUTOR: nicolas peltier

nicolas peltier Eliminar filtro Quitar filtros
  • Automated Model Building
    Alexander Leitsch / Nicolas Peltier / Ricardo Caferra
    On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought the authors of this book together. In 1994 they met at t...
    Disponible

    207,38 €