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

Tapa de Automated practical reasoning

Número de Cutter-SanbornW246aEntrada «Wang» → 246 · marca de obra “a”

Automated practical reasoning

de Dongming Wang

Materias

Automatic theorem proving
Reasoning
Practical reason
Symbolic and mathematical Logic
Computer science
Software engineering
Algebra

Automated practical reasoning — Dongming Wang | Cutter Number

Data processing

Ediciones (5)

Automated Practical Reasoning (2012)
Springer · inglés · ISBN 9783709166048
Automated Practical Reasoning (2001)
Springer · inglés · ISBN 9783211826003
Automated Practical Reasoning (1995)
Springer-Verlag Telos · inglés · ISBN 9780387826004
Automated practical reasoning (1995)
Springer-Verlag · inglés
Automated Practical Reasoning (1995)
Island Press · inglés · ISBN 9783709166055

Más obras de Dongming Wang

Tapa de Kai guo ling xiu Mao Zedong yu Shandong

Kai guo ling xiu Mao Zedong yu Shandong

Tapa de Automated deduction in geometry

Automated deduction in geometry

Tapa de Geometric computation

Geometric computation

Tapa de Differential equations with symbolic computation

Differential equations with symbolic computation

Tapa de Symbolic-numeric computation

Symbolic-numeric computation

Tapa de Automated deduction in geometry

Automated deduction in geometry

Ver todas las obras de Dongming Wang →