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
Resolution proof systems

Tapa de Resolution proof systems

Número de Cutter-SanbornS775rEntrada «Sta» → 775 · marca de obra “r”

Resolution proof systems

de Zbigniew Stachniak · Publicada por primera vez en 1996

Materias

Artificial intelligence
Automatic theorem proving
Logic, Symbolic and mathematical
Symbolic and mathematical Logic
Logic, symbolic and mathematical

Ediciones (1)

Resolution proof systems (1996)
Kluwer Academic Publishers · inglés

Más obras de Zbigniew Stachniak

Tapa de Leśniewski's systems protothetic

Leśniewski's systems protothetic

Tapa de Resolution Proof Systems

Resolution Proof Systems

CComputing in Canada

Computing in Canada

Resolution proof systems — Zbigniew Stachniak | Cutter Number

I

Inventing the PC

Inventing the PC

IIntroduction to model theory for Leśniewski's ontology

Introduction to model theory for Leśniewski's ontology

1981

Ver todas las obras de Zbigniew Stachniak →