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
Little Prover

LLittle Prover

Número de Cutter-SanbornF911lEntrada «Friedl» → 911 · marca de obra “l”

Little Prover

de Daniel P. Friedman, Carl Eastlund, Duane Bibby

Materias

Automatic theorem proving
Lisp (computer program language)
LISP (Computer program language)

Ediciones (2)

Little Prover (2015)
MIT Press · inglés · ISBN 9780262527958
Little Prover (2015)
MIT Press · inglés · ISBN 9780262330558

Más obras de Daniel P. Friedman

Little Prover — Daniel P. Friedman, Carl Eastlund, Duane Bibby | Cutter Number

Tapa de Essentials of programming languages

Essentials of programming languages

Tapa de The Reasoned Schemer

The Reasoned Schemer

Tapa de The Little Typer

The Little Typer

Tapa de Scheme and the Art of Programming

Scheme and the Art of Programming

RReasoned Schemer, Second Edition

Reasoned Schemer, Second Edition

Tapa de Little Learner

Little Learner

Ver todas las obras de Daniel P. Friedman →