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
Rippling

Tapa de Rippling

Número de Cutter-SanbornB942rEntrada «Bun» → 942 · marca de obra “r”

Rippling

de Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Materias

Automatic theorem proving
Logic, symbolic and mathematical
Symbolic and mathematical Logic

Ediciones (4)

Rippling (2009)
Cambridge University Press · inglés · ISBN 9780511543326
Rippling (2005)
Cambridge University Press · inglés · ISBN 9780521834490
Rippling (2005)
Cambridge University Press · inglés · ISBN 9780511112874

Rippling — Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland | Cutter Number

Rippling (2005)

Cambridge University Press · inglés · ISBN 9780511113383

Más obras de Alan Bundy

Tapa de Artificial intelligence : an introductory course

Artificial intelligence : an introductory course

Tapa de Rob Milne

Rob Milne

TThe computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

AAustralian and New Zealand information literacy framework

Australian and New Zealand information literacy framework

Tapa de Eco-logic

Eco-logic

DDirectory of Australian academic and research libraries

Directory of Australian academic and research libraries

Ver todas las obras de Alan Bundy →