AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Prijzen vanaf
11,98

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Productspecificaties

Merk Independently Published
EAN
  • 9798173692702

Independently Published

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

12,12
Vergelijk 2 shops 2 shops

Automated Theorem Proving in Software Engineering

45,99
Meer informatie Meer info

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

31,57
Vergelijk 2 shops 2 shops

OmniScriptum

Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

47,31
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
11,98
Naar shop