Rippling: Heuristics, University of Edinburgh, Mathematical Induction, Automated Theorem Prover, Alan Bundy, Proofs

Prijzen vanaf
37,42

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Rippling: Heuristics, University of Edinburgh, Mathematical Induction, Automated Theorem Prover, Alan Bundy, Proofs

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 37,42

€ 37,42

Beschrijving (0)

Rippling: Heuristics, University of Edinburgh, Mathematical Induction, Automated Theorem Prover, Alan Bundy, Proofs

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131256486

OmniScriptum

Vampire (Theorem Prover): Automated Theorem Proving, First Order Logic, Classical Victoria University of Manchester

41,32
Vergelijk 2 shops 2 shops

OmniScriptum

Gandalf (theorem prover): Automated Theorem Prover, Semantic Web, Scheme (programming language)

39,75
Vergelijk 2 shops 2 shops

Automated Mathematical Induction

98,99
Meer informatie Meer info

Proofs of the Cantor Bernstein Theorem: A Mathematical Excursion: 45

119,00
Meer informatie Meer info
Uitgelichte Keuze
37,42
Naar shop