Steve Reeves

Born: 1957

No bio available. Add one in Open Library.

Born: 1957

Books by Steve Reeves (50 max)

+ shelf+ list

Power Walking

1982

Steve Reeves

+ shelf+ list

Propositions as types: tutorial notes.

1986

Steve Reeves

+ shelf+ list

An example of algorithm development in Intuitionistic Type Theory

1987

Steve Reeves

+ shelf+ list

Implementation of a theorem-prover based on semantic tableaux.

1987

Steve Reeves

+ shelf+ list

Logic for computer science

1990

Steve Reeves

+ shelf+ list

Building the Classic Physique: The Natural Way

1995

Steve Reeves, John Little, Armand Tanny