John Harrison

Name: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)
Author: John Harrison

3,5 Sterne bei 2 Bewertungen

Autor*in von Piranhas zum Frühstück. Durch den Dschungel Amazoniens mit dem Kanu, Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869) und weiteren Büchern.

Lebenslauf

John Harrison, Künstler und Musiker, lebt und arbeitet neben seinen vielen Deutschlandbesuchen in Brisbane, Australien. Er spielte viele Jahre lang die erste Bassklarinette im Queensland Symphony Orchestra und eröffnete sich parallel dazu eine zweite Karriere als freiberuflicher Grafiker. Heute ist John Harrison ausschließlich als Grafiker tätig.

Quelle: Verlag / vlb