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
Recent Trends in Algebraic Development Techniques

Tapa de Recent Trends in Algebraic Development Techniques

Número de Cutter-SanbornM913rEntrada «Moss» → 913 · marca de obra “r”

Recent Trends in Algebraic Development Techniques

de Till Mossakowski

Materias

Mathematical Logic and Formal Languages
Symbolic and mathematical Logic
Information theory
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Computer science
Theory of Computation
Mathematics of Computing

Recent Trends in Algebraic Development Techniques — Till Mossakowski | Cutter Number

Mathematical Logic and Foundations

Ediciones (2)

Recent Trends in Algebraic Development Techniques (2012)
Springer · ISBN 9783642284137
Recent Trends in Algebraic Development Techniques (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642284120

Más obras de Till Mossakowski

Tapa de Recent Trends in Algebraic Development Techniques

Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science

Tapa de Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

Ver todas las obras de Till Mossakowski →