Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Springer
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Bild av Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Priser från

834,28

Utvalda

	834,28 kr	Til butik
	834,28 kr	Til butik

Beskrivning

Amazon Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Läs mer

Jämför webbutiker (2)

Shop

Pris

834,28 kr

Til butik

834,28 kr

Til butik

Beskrivning (1)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Läs mer

Produktspecifikationer

Märke	Springer
EAN	9783642058806

Priser uppdaterades senast: 08-06-2026, 01:03

OmniScriptum

E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus

306,49 kr

Jämför 2 butiker 2 Butiker

Purdue University Press

the Development and Impact of Purdue Rising Scholars Program

781,80 kr

Jämför 2 butiker 2 Butiker

Independently Published

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

170,08 kr

Jämför 2 butiker 2 Butiker

[Proving History: Bayes's Theorem and the Quest for Historical Jesus] [By: Richard...

585,78 kr

Mer information Mer info

Utvalt Val

834,28 kr

Til butik