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

Priser från
334,08

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

334,08 kr

334,08 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Betascript Publishing
EAN
  • 9786131962011

Betascript Publishers

Resolution (logic): Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Formula,...

383,98 kr
Jämför 2 butiker 2 Butiker

Springer

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

1.007,84 kr
Jämför 2 butiker 2 Butiker

Betascript Publishers

T-norm Fuzzy Logics: Non-classical Logic, T-norm, Logical Conjunction, Set, Multi-valued Implication, Propositional...

386,17 kr
Jämför 2 butiker 2 Butiker

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

140,58 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
334,08 kr
Til butik