LIBROS DEL AUTOR: ralf detlef kutsche

2 resultados para LIBROS DEL AUTOR: ralf detlef kutsche

ralf detlef kutsche Eliminar filtro Quitar filtros
  • Grundlagen Des Maschinellen Beweisens
    Ralf-Detlef Kutsche
    Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend...
    Disponible

    54,49 €

  • Grundlagen des maschinellen Beweisens
    Dieter Hofbauer / Ralf-Detlef Kutsche
    Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen 'LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens' Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die 'WGIK fU...
    Disponible

    85,24 €