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
A machine program for theorem-proving

Tapa de A machine program for theorem-proving

Número de Cutter-SanbornD263mEntrada «Davis, M.» → 263 · marca de obra “m”

A machine program for theorem-proving

de Martin Davis · Publicada por primera vez en 1961

Ediciones (1)

A machine program for theorem-proving (1961)
Courant Institute of Mathematical Sciences, New York University · inglés

Más obras de Martin Davis

Tapa de The 25 Greatest Achievements in Golf

The 25 Greatest Achievements in Golf

Tapa de Cases and Materials on Housing Law (Cases & Materials)

Cases and Materials on Housing Law (Cases & Materials)

Tapa de Contract Law (Sourcebook)

Contract Law (Sourcebook)

A machine program for theorem-proving — Martin Davis | Cutter Number

T

The farmer and the goose with the golden eyes

The farmer and the goose with the golden eyes

Tapa de How to Play Links Golf

How to Play Links Golf

TThe Players Championship

The Players Championship

Ver todas las obras de Martin Davis →