Name: automated reasoning in higher-order logic
Price: 56.72 EUR
Availability: InStock
Author: chad e. brown
ISBN: 9781904987574

portada automated reasoning in higher-order logic

Formato

Libro Físico

Editorial

college publications

Autor

chad e. brown

N° páginas

564

ISBN

1904987575

ISBN13

9781904987574

Categorías

Inteligencia artificial

automated reasoning in higher-order logic

Chad E. Brown (Autor) · college publications · Libro Físico

Libro Nuevo

56,72 €

59,71 €

Ahorras: 2,99 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 26 de Junio y el Lunes 15 de Julio.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "automated reasoning in higher-order logic"

many mathematical and computational concepts can be represented in a natural way using higher-order logic. consequently, higher-order logic has become an important topic of research. /automated reasoning in higher-order logic/ presents both a theoreti ...