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

Name: First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Brand: Springer
SKU: eb923b68dba705b3726b220b26438f45

1/1

Precios a partir de

93,59

Enlaces patrocinados

	93,59 €	Ver oferta
	93,59 €	Ver oferta
COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

93,59 €

Descripción (0)

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

Marca	Springer
EAN	9781461275152

North-Holland

Automated Theorem Proving: A Logical Basis

Springer

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Springer-Verlag GmbH

Computer Vision: Algorithms and Applications (Texts in Science)

Springer Nature Switzerland AG

Computer Vision: Algorithms and Applications (Texts in Science)