Steve Reeves

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

6

An example of algorithm development in Intuitionistic Type Theory

An example of algorithm development in Intuitionistic Type Theory

Building the Classic Physique

Building the Classic Physique

Propositions as types

Propositions as types

Implementation of a theorem-prover based on semantic tableaux

Implementation of a theorem-prover based on semantic tableaux

Power Walking

Power Walking

Logic for computer science

Logic for computer science