cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Autores con S
Steve Reeves

Número de Cutter-SanbornR332Entrada de tabla «Reeves»

Steve Reeves

1957 · 6 obras en el catálogo

Obras

Tapa de Building the Classic Physique

Building the Classic Physique

AAn example of algorithm development in Intuitionistic Type T

An example of algorithm development in Intuitionistic Type Theory

IImplementation of a theorem-prover based on semantic tableau

Implementation of a theorem-prover based on semantic tableaux

Tapa de Logic for computer science

Logic for computer science

Power Walking

PPropositions as types

Propositions as types

Steve Reeves (1957–) — obras y número de Cutter | Cutter Number