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
Logic and computation

Tapa de Logic and computation

Número de Cutter-SanbornP332lEntrada «Pauls» → 332 · marca de obra “l”

Logic and computation

de Lawrence C. Paulson · Publicada por primera vez en 1987

Materias

Cambridge LCF (Computer system)
Data processing
Computable functions
Démonstration de théorème
Cambridge LCF (logiciel)
Calculabilité
Fonctions calculables
Computer programs
Logic, symbolic and mathematical

Ediciones

Logic and computation — Lawrence C. Paulson | Cutter Number

(2)

Logic and Computation (1990)
Cambridge University Press · inglés · ISBN 9780521395601
Logic and computation (1987)
Cambridge University Press · inglés

Más obras de Lawrence C. Paulson

Tapa de Isabelle/HOL

Isabelle/HOL

Tapa de Logic and Computation

Logic and Computation

CConstructing recursions operators in intuitionistic type the

Constructing recursions operators in intuitionistic type theory

1984

TThe foundation of a generic theorem prover

The foundation of a generic theorem prover

1988

IInteractive theorem proving with Cambridge LCF

Interactive theorem proving with Cambridge LCF

1985

LLessons learned from LCF

Lessons learned from LCF

1984

Ver todas las obras de Lawrence C. Paulson →