PPower WalkingPower Walkingde Steve ReevesEdiciones (1)Power Walking (1982)Bobbs-Merrill Co · ISBN 9780020813507Más obras de Steve ReevesBuilding the Classic PhysiqueAAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type TheoryIImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
AAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type Theory
IImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
