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
Un programme de démonstration de théorèmes

UUn programme de démonstration de théorèmes

Número de Cutter-SanbornP686pEntrada «Pitr» → 686 · marca de obra “p”

Un programme de démonstration de théorèmes

Materias

Automatic theorem proving

Ediciones (1)

Un programme de démonstration de théorèmes. (1970)
Dunod · francés

Más obras de J. Pitrat

Tapa de Natural Language Parsing Systems

Natural Language Parsing Systems

Tapa de Métaconnaissance

Métaconnaissance

AArtificial ethics

Artificial ethics

Un programme de démonstration de théorèmes — J. Pitrat | Cutter Number

T

Textes, ordinateurs et compréhension

Textes, ordinateurs et compréhension

Ver todas las obras de J. Pitrat →