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
Labelled deduction

Tapa de Labelled deduction

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

Labelled deduction

de David Basin, Various

Materias

Modality (Logic)
Mathematical And Symbolic Logic
Philosophy Of Mathematics
Philosophy
Mathematics
Artificial Intelligence - General
Logic
Computers : Artificial Intelligence - General
Mathematics / Logic

Labelled deduction — David Basin, Various | Cutter Number

Philosophy / Logic

Ediciones (2)

Labelled deduction (2000)
Kluwer Academic Publishers · inglés
Labelled Deduction (2000)
Island Press · inglés · ISBN 9789401140416

Más obras de David Basin

Tapa de Applied Information Security

Applied Information Security

Tapa de Labelled Deduction

Labelled Deduction

Tapa de Principles of Security and Trust

Principles of Security and Trust

Tapa de Rippling

Rippling

TTheorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

AAutomated Reasoning

Automated Reasoning

Ver todas las obras de David Basin →