Name: herbrand sequent extraction
SKU: 3492330
Price: 65.91 USD
Availability: InStock
Author: bruno woltzenlogel paleo

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

vdm verlag dr. mueller e.k.

Autor

bruno woltzenlogel paleo

N° páginas

ISBN

3836461528

ISBN13

9783836461528

Categorías

Matemáticas

herbrand sequent extraction

Bruno Woltzenlogel Paleo (Autor) · vdm verlag dr. mueller e.k. · Libro Físico

Libro Nuevo Importado

Envío: 21 a 28 días háb.

$ 131.82$ 65.91

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 65.91

Llega entre el 17 Sep y el 30 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "herbrand sequent extraction"

formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. techniques to extract specific essential information from these proofs are needed. this book ...