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

de Larry Wos · Publicada por primera vez en 1987

Materias

Computer programming
Artificial intelligence
Automatic theorem proving
Computer programs

Ediciones (5)

Automated Reasoning (1992)
Mcgraw-Hill (Tx) · inglés · ISBN 9780079112514
Automated Reasoning (1992)
Mcgraw-Hill (Tx) · inglés · ISBN 9780079112514
Automated reasoning (1988)
Prentice-Hall · inglés
Automated Reasoning (1987)
Prentice Hall · ISBN 9780130545527
Automated Reasoning (1987)

Automated Reasoning — Larry Wos | Cutter Number

Prentice Hall · ISBN 9780130545527

Más obras de Larry Wos

Tapa de Automated reasoning

Automated reasoning

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

A fascinating country in the world of computing

1999

Tapa de Collected Works of Larry Wos

Collected Works of Larry Wos

2000

Ver todas las obras de Larry Wos →