AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Priser från
130,53

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
130,53 kr
Til butik
Amazon Marketplace Logga
130,53 kr
Til butik
Beskrivning (0)

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194154524

Independently Published

LOGICRAFT COMPUTATIONAL REASONING SYSTEMS: Rule Based Inference Engines for Symbolic Problem Solving and Automation

136,78 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

753,80 kr
Jämför 2 butiker 2 Butiker

JAG UNIFIED INTERNATIONAL

Modern Developments in Computer Science Engineering and Intelligent Systems

83,08 kr
Jämför 2 butiker 2 Butiker

Springer

Validation and Verification of Automated Driving Systems

2.052,72 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
130,53 kr
Til butik