Name: proof profiles - characteristic clause sets and proof transformations
SKU: 3492517
Price: 57.91 USD
Availability: InStock
Author: stefan hetzl

Selecciona tu país

América

Europa

Resto del mundo

portada proof profiles - characteristic clause sets and proof transformations

proof profiles - characteristic clause sets and proof transformations

Formato

Libro Físico

Editorial

vdm verlag dr. mueller e.k.

Autor

stefan hetzl

N° páginas

128

ISBN

3836470071

ISBN13

9783836470070

Categorías

Ciencias de la computación

proof profiles - characteristic clause sets and proof transformations

Stefan Hetzl (Autor) · vdm verlag dr. mueller e.k. · Libro Físico

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 115.82$ 57.91

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 40 unidades

$ 57.91

Llega entre el 09 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "proof profiles - characteristic clause sets and proof transformations"

mathematics is of fundamental importance for computer science. on the other hand, there are also many applications of computer science in mathematics, be it simulations, numerical calculations or computer algebra systems. another interesting applicati ...