Albrecht Heeffer

Publication Activity (10 Years)

Years Active: 1985-2018
Publications (10 Years): 1

Top Topics

Automated Deduction

Multiresolution

Image Sequences

Natural Language

Top Venues

J. Philos. Log.

Publications

Jesse Heyninck, Peter Verdée, Albrecht Heeffer
Handling Inconsistencies in the Early Calculus. J. Philos. Log. 47 (3) (2018)
Albrecht Heeffer
On the curious historical coincidence of algebra and double-entry bookkeeping. FotFS (2008)
Albrecht Heeffer
Validating Concepts from Automated Acquisition Systems. IJCAI (1985)