LIBROS DEL AUTOR: christian fenske

1 resultados para LIBROS DEL AUTOR: christian fenske

christian fenske Eliminar filtro Quitar filtros
  • Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
    Christian Fenske
    Die vorliegende Schrift ist eine - teilweise verbesserte und umgearbeitete - Fassung einer Arbeit, die aus einem Seminar tiber die Anwendungsmoglichkeiten der Programrniersprache COMIT bei Herrn Professor UNGER hervorging. Herrn Professor UNGER und Herrn Professor HASENJAEGER, der mich in den Problem­ kreis der maschinellen Beweisverfahren eingefuhrt ...
    Disponible

    72,82 €