Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 4 results:

Filters: Author is Löwe, Benedikt [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

W

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

S

Bullynck, Maarten, and Liesbeth De Mol. 2010. “Setting-Up Early Computer Programs: D. H. Lehmer's Eniac Computation” Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Archive for Mathematical Logic 49: 123–146. http://dx.doi.org/10.1007/s00153-009-0169-8.

L

De Mol, Liesbeth. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” Karen François, Löwe, Benedikt, Müller, Thomas, and Van Kerkhove, Bart. Foundations of the Formal Sciences: 61–90.

C

Heeffer, Albrecht. 2011. “On The Curious Historical Coincidence Of Algebra And Double-Entry Bookkeeping” Karen François, Löwe, Benedikt, Müller, Thomas, and Van Kerkhove, Bart. Foundations of the formal sciences VII : bringing together philosophy and sociology of science 32: 109–130. http://www.collegepublications.co.uk/logic/?00021.