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
Reasoning in simple type theory

RReasoning in simple type theory

Número de Cutter-SanbornB479rEntrada «Benw» → 479 · marca de obra “r”

Reasoning in simple type theory

de Christoph Benzmüller

Materias

Symbolic and mathematical Logic
Type theory

Ediciones (1)

Reasoning in simple type theory (2008)
College Publications · inglés · ISBN 9781904987703

Más obras de Christoph Benzmüller

Tapa de KI 2019 : Advances in Artificial Intelligence

KI 2019 : Advances in Artificial Intelligence

LLogic and Argumentation

Logic and Argumentation

WWiderlegung des Reduktionismus

Widerlegung des Reduktionismus

Reasoning in simple type theory — Christoph Benzmüller | Cutter Number

AAutomated Reasoning

Automated Reasoning

Ver todas las obras de Christoph Benzmüller →