Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
SKU: prod_b4f9c056fbbcbe8d1513caf7

1 store 2 in stock

Compare prices from 2,151 kr

Go to Bokus

Prices checked 2 months ago

Double-check the price at PriceRunner Prisjakt

2 offers

In stock only

Bokus Lowest price

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

In stock Checked 2 months ago

2,151 kr

Go to store

Bokus Lowest price

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

In stock Checked 2 months ago

2,151 kr

Go to store

We started tracking the price 31 Jul 2026. Price history appears once the price changes.