Veröffentlichungen von Tyko Strassen / Publications of Tyko Strassen

Veröffentlichungen von Tyko Strassen / Publications of Tyko Strassen

Basic Logic of Proofs

Complete list of all publications concerning the Basic Logic of Proofs
The PhD-thesis covers all relevant results of the Basic Logic of Proofs

Unify, a unification package for Maple

Overview and sample session (ASCII text)
Maple source (ASCII text)
Test file (ASCII text)

Diskrete Mathematik in der Informatik

Untertitel: Konzeption, Bau und Programmierung eines vollständigen Rechners
In: Praxisbezogen lehren an Hochschulen, 2007, S. 183-195
Herausgeber: Brigitta Pfäffli und Dominique Herren
Verlag: Haupt Verlag Bern

MATLAB Grundlagen

Untertitel: Ein Bachelor-Lehrgang für schweizerische Fachhochschulen, technische Richtung
Auflage: Zwölfte, aktualisierte Auflage, Studienjahr 2014/2015
Version: Basiert auf MATLAB Version 8.4 (R2014b)
ISBN-10: 3-907134-15-X
ISBN-13: 978-3-907134-15-3

Verleih dieser Veröffentlichungen bspw. beim Bibliotheksverbund der Schweiz (swisscovery) ►