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
Theorem-proving systems

TTheorem-proving systems

Número de Cutter-SanbornO72tEntrada «Orlo» → 72 · marca de obra “t”

Theorem-proving systems

de Ewa Orlowska

Materias

Automatic theorem proving
Proof theory

Ediciones (1)

Theorem-proving systems (1973)
Panstwowe Wydawn. Naukowe · inglés

Más obras de Ewa Orlowska

Tapa de Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies

Tapa de Incomplete Information

Studies in Fuzziness and Soft Computing

Incomplete Information Studies in Fuzziness and Soft Computing

IIncomplete information

Incomplete information

Theorem-proving systems — Ewa Orlowska | Cutter Number

Tapa de Incomplete information

Incomplete information

Tapa de Relational Methods for Computer Science Applications

Relational Methods for Computer Science Applications

Tapa de Relational methods for computer science applications

Relational methods for computer science applications

Ver todas las obras de Ewa Orlowska →