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
Proofs and Algorithms

Tapa de Proofs and Algorithms

Número de Cutter-SanbornD746pEntrada «Dowe» → 746 · marca de obra “p”

Proofs and Algorithms

de Gilles Dowek

Materias

Information theory
Computer science
Symbolic and mathematical Logic
Algorithms
Logic, symbolic and mathematical
Mathematical Logic and Formal Languages
Theory of Computation

Ediciones (1)

Proofs and Algorithms (2011)
Springer-Verlag London Limited · inglés · ISBN 9780857291202

Más obras de Gilles Dowek

Tapa de Theorem proving in higher order logics

Theorem proving in higher order logics

Tapa de Les me tamorphoses du calcul

Les me tamorphoses du calcul

Tapa de Le temps des algorithmes

Le temps des algorithmes

Tapa de Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Proofs and Algorithms — Gilles Dowek | Cutter Number

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Tapa de Computation, proof, machine

Computation, proof, machine

Tapa de Quand la science a dit c'est impossible

Quand la science a dit c'est impossible

Ver todas las obras de Gilles Dowek →