AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Priser från
133,57

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
133,57 kr
Til butik
Amazon Marketplace Logga
133,57 kr
Til butik
Beskrivning (0)

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Produktspecifikationer

Märke Independently Published
EAN
  • 9798173692702

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

130,53 kr
Jämför 2 butiker 2 Butiker

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

Independently Published

Prolong for AI and Intelligent Systems: A Practical Guide to Expert Systems,...

262,37 kr
Jämför 2 butiker 2 Butiker

Betascript Publishing

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

326,50 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
133,57 kr
Til butik