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

Prijzen vanaf
40,12

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
40,12
Gratis
40,12
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
40,12
Gratis
40,12
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

109,00
Meer informatie Meer info

Betascript Publishers

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

31,51
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
40,12
Naar shop