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
Which theorem prover?

WWhich theorem prover?

Número de Cutter-SanbornS642wEntrada «Smit» → 642 · marca de obra “w”

Which theorem prover?

Materias

Automatic theorem proving

Ediciones (1)

Which theorem prover? (1990)
HMSO · inglés

Más obras de A. Smith

Tapa de Veterinary notes

Veterinary notes

Tapa de Application of statistical methods to Naval operational testing

Application of statistical methods to Naval operational testing

Tapa de Sociologies of Moderation

Sociological Review Monographs

Sociologies of Moderation Sociological Review Monographs

Which theorem prover? — A. Smith | Cutter Number

Tapa de A new book of cookery; or, Every woman a perfect cook

A new book of cookery; or, Every woman a perfect cook

11980 survey of sportfishing in Prince Edward Island

1980 survey of sportfishing in Prince Edward Island

Tapa de Sequential Monte Carlo methods in practice

Sequential Monte Carlo methods in practice

Ver todas las obras de A. Smith →