LIBROS DEL AUTOR: dieter hofbauer

1 resultados para LIBROS DEL AUTOR: dieter hofbauer

dieter hofbauer Eliminar filtro Quitar filtros
  • 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 €