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

Prijzen vanaf
31,51

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 31,51

€ 31,51

Beschrijving (0)

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

Productspecificaties

Merk Betascript Publishers
EAN
  • 9786130581169

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

OmniScriptum

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

41,99
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
31,51
Naar shop