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

Prijzen vanaf
11,79

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
11,79
Gratis
11,79
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,79
Gratis
11,79
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798194154524

Lecture Notes in Computer Science 10471 Critical Systems: Formal Methods and Automated Verification

48,99
Meer informatie Meer info

Lecture Notes in Computer Science 9933 Critical Systems: Formal Methods and Automated Verification

48,99
Meer informatie Meer info

Critical Systems: Formal Methods and Automated Verification

47,99
Meer informatie Meer info

Independently Published

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

12,78
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
11,79
Naar shop