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
The resolution calculus

Tapa de The resolution calculus

Número de Cutter-SanbornL533rEntrada «Leit» → 533 · marca de obra “r”

The resolution calculus

de Alexander Leitsch · Publicada por primera vez en 1997

Materias

Automatic theorem proving
Théorie démonstration
Raffinement
Résolution problème
Théorèmes
Résolution de problème
Démonstration automatique
Informatique
Preuve, Théorie de la
Auflösungsprinzip
Automatisches Beweisverfahren
Qa76.9.a96 l44 1997

Ediciones (1)

The resolution calculus (1997)
Springer · inglés

Más obras de Alexander Leitsch

Tapa de Automated Model Building

Automated Model Building

Tapa de Computational logic and proof theory

Computational logic and proof theory

Ver todas las obras de Alexander Leitsch →

The resolution calculus — Alexander Leitsch | Cutter Number