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

Enlaces patrocinados

	57,15 €	Ver oferta
	57,15 €	Ver oferta
COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Automated Theorem Proving: A Logical Basis

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

57,15 €

Descripción (0)

Automated Theorem Proving: A Logical Basis

Marca	North-Holland
EAN	9781493305513

W. W Bledsoe Automated Theorem Proving (Tapa blanda) Contemporary Mathematics

Springer

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Richard J. Boulton Theorem Proving in Higher Order Logics (Tapa blanda)

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development