Automated Theorem Proving: A Logical Basis

Name: Automated Theorem Proving: A Logical Basis
Brand: North-Holland
SKU: 8d0c0e173ec28dd2f82963c977d94f99

1/1

Precios a partir de

57,15

Destacado

	57,15 €	Ver oferta
	57,15 €	Ver oferta

Descripción

Amazon Páginas: 420, Tapa blanda, North Holland

Comparar tiendas web (2)

Shop

Precio

57,15 €

Ver oferta

57,15 €

Ver oferta

Descripción (1)

Páginas: 420, Tapa blanda, North Holland

Marca	North-Holland
EAN	9781493305513

Precios actualizados por última vez el: 04-06-2026, 04:13

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

Elección Destacada

57,15 €

Ver oferta