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
COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Automated Theorem Proving: A Logical Basis

Comparar tiendas web (2)

Shop

Precio

57,15 €

Ver oferta

57,15 €

Ver oferta

Descripción (0)

Automated Theorem Proving: A Logical Basis

Marca	North-Holland
EAN	9781493305513

Independently Published

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

IGI Global

Formalized probability theory and applications using theorem proving hardcover

Independently Published

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

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...