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

AAutomated Reasoning

Número de Cutter-SanbornB313aEntrada «Basin» → 313 · marca de obra “a”

Automated Reasoning

de David Basin, Michael Rusinowitch

Ediciones (1)

Automated Reasoning (2004)
Springer London, Limited · inglés · ISBN 9783540259848

Más obras de David Basin

Tapa de Applied Information Security

Applied Information Security

Tapa de Labelled deduction

Labelled deduction

Tapa de Labelled Deduction

Labelled Deduction

Tapa de Principles of Security and Trust

Principles of Security and Trust

Automated Reasoning — David Basin, Michael Rusinowitch | Cutter Number

Tapa de Rippling

Rippling

TTheorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Ver todas las obras de David Basin →