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 in Higher Order Logics

TTheorem Proving in Higher Order Logics

Número de Cutter-SanbornS359tEntrada «Schneider, J.» → 359 · marca de obra “t”

Theorem Proving in Higher Order Logics

de Klaus Schneider, Jens Brandt

Materias

Automatic theorem proving
Logic programming

Ediciones (1)

Theorem Proving in Higher Order Logics (2007)
Springer London, Limited · inglés · ISBN 9783540745914

Más obras de Klaus Schneider

IIm Schatten der Akazie

Im Schatten der Akazie

Theorem Proving in Higher Order Logics — Klaus Schneider, Jens Brandt | Cutter Number

Tapa de Verification of Reactive Systems

Verification of Reactive Systems

DDivine Heart of Things

Divine Heart of Things

SSpuren der Nibelungen 1945

Spuren der Nibelungen 1945

CCuriosity and Exploration

Curiosity and Exploration

AAchievement Motivation in Perspective

Achievement Motivation in Perspective

Ver todas las obras de Klaus Schneider →