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

Prijzen vanaf
39,75

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 39,75

€ 39,75

Beschrijving (0)

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

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131372698

OmniScriptum

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

41,32
Vergelijk 2 shops 2 shops

OmniScriptum

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

40,12
Vergelijk 2 shops 2 shops

Betascript Publishers

Skolem Normal Form: Existential Quantification, Automated Theorem Prover, Formula, First order Logic, Thoralf

31,51
Vergelijk 2 shops 2 shops

OmniScriptum

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

37,42
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
39,75
Naar shop