Superposition Calculus: Automated Theorem Proving, First Order Logic, Resolution, Knuth Bendix Completion Algorithm, E Equational Prover

Prijzen vanaf
41,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Superposition Calculus: Automated Theorem Proving, First Order Logic, Resolution, Knuth Bendix Completion Algorithm, E Equational Prover

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

Superposition Calculus: Automated Theorem Proving, First Order Logic, Resolution, Knuth Bendix Completion Algorithm, E Equational Prover

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131270604

OmniScriptum

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

40,12
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
41,99
Naar shop