Informática práctica Aplicaciones

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

Por MELVIN FITTING

Estado: NUEVO

Vendido por Accesoralia

Envío desde Madrid, España Península lo tendrás en Transporte vendedor profesional internacional
Otros vendedores (nuevo y usado) desde 112,36 €

Sinopsis

This graduate-level text presents fundamental concepts and results of classical...

Especificaciones del producto

Reseñas sobre FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

Comparte tu experiencia con la comunidad lectora.

0

0 Reseñas
5 0
4 0
3 0
2 0
1 0

Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€