Theoretical Computer Science

Research Output 1993 2019

Filter
Abstract
2017

An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)

Bentkamp, A., Blanchette, J. C. & Klakow, D., 2017, p. 22-23. 2 p.

Research output: Contribution to ConferenceAbstractOther research output