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
Automated reasoning

Tapa de Automated reasoning

Número de Cutter-SanbornW935aEntrada «Wortl» → 935 · marca de obra “a”

Automated reasoning

Materias

Démonstration automatique
Théorèmes
Kunstmatige intelligentie
Programmation (Informatique)
Computer programming
Automatic theorem proving
Artificial intelligence
Intelligence artificielle
Electronic digital computers, programming

Ediciones (1)

Automated reasoning (1984)
Prentice-Hall · inglés

Más obras de Larry Wos

Tapa de Automated reasoning and its applications

Automated reasoning and its applications

Tapa de Automated reasoning

Automated reasoning

Tapa de The automation of reasoning

The automation of reasoning

1996

Tapa de A fascinating country in the world of computing

Automated reasoning — Larry Wos | Cutter Number

A fascinating country in the world of computing

1999

Tapa de Collected Works of Larry Wos

Collected Works of Larry Wos

2000

Tapa de Automated Reasoning

Automated Reasoning

1987

Ver todas las obras de Larry Wos →