F. Dick

发表

A survey of the project Automath

F. Dick, 1980 .

Algebraic theory of Penrose's non-periodic tilings of the plane. I, II : dedicated to G. Pólya

Fa Dick, F. Dick, 1981 .

A riffle shuffle card trick and its relation to quasicrystal theory

F. Dick, 1987 .

SOLVENT NEUROTOXICITY FDD ick

F. Dick, 2006 .

The use of partially ordered sets for the study of non-classical propositional logics

Fa Dick, F. Dick, 1978 .

Uncertainty principles in Fourier analysis

Fa Dick, F. Dick, 1967 .

On the number of positive integers $\leq x$ and free of prime factors $>y$. II

Fa Dick, F. Dick, 1966 .

Philosophical aspects of computerized verification of mathematics

Fa Dick, F. Dick, 1998 .

The Automath mathematics checking project and its influence on teaching:contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985

Fa Dick, F. Dick, 1985 .

Algorithmic definition of lambda-typed lambda calculus

Fa Dick, F. Dick, 1993 .

Recent developments in enumeration theory

Fa Dick, F. Dick, 1971 .

Recommendations concerning standardization of mathematical formulas

Fa Dick, F. Dick, 1980 .

Enumerative combinatorial problems concerning structures

Fa Dick, F. Dick, 1963 .