Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation, Linear feedback shift register

Prices from
108.41

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation, Linear feedback shift register

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 108.41

€ 108.41

Description (0)

Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation, Linear feedback shift register

Product specifications

Brand OmniScriptum
EAN
  • 9786132812667

OmniScriptum

Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Unit Propagation: Procedure, Automated Theorem Proving

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

€ 145.79
Compare 2 stores 2 stores
Featured Choice
€ 108.41
To Shop