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

Prijzen vanaf
33,01

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
33,01
Gratis
33,01
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
33,01
Gratis
33,01
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131962011

OmniScriptum

Superposition Calculus: Automated Theorem Proving, First Order Logic, Resolution, Knuth Bendix Completion...

41,99
Vergelijk 2 shops 2 shops

OmniScriptum

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

41,32
Vergelijk 2 shops 2 shops

First-Order Logic and Automated Theorem Proving

74,43
Meer informatie Meer info
-2%

First Order Logic and Automated Theorem Proving

88,99
Meer informatie Meer info
Uitgelichte Keuze
33,01
Naar shop