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

Priser från
1.007,84

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
1.007,84 kr
Til butik
Amazon Marketplace Logga
1.007,84 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783642058806

Betascript Publishing

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

326,50 kr
Jämför 2 butiker 2 Butiker

Independently Published

The Art and Science of Game Development

327,08 kr
Jämför 2 butiker 2 Butiker

Sothis Press

Urdu Manual: Phonetic, Inductive Method: Based on the Gospel of John; Progressive...

300,10 kr
Jämför 2 butiker 2 Butiker

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

592,30 kr
Mer information Mer info
Utvalt Val
1.007,84 kr
Til butik