Viorica Sofronie-Stokkermans - Böcker

Visar alla böcker från författaren Viorica Sofronie-Stokkermans.
4 produkter
Nicolas Peltier, Viorica Sofronie-Stokkermans - Automated Reasoning, Häftad

Automated Reasoning

Av Nicolas Peltier, Viorica Sofronie-Stokkermans

Häftad, Engelska, 2020

1 089 kr

Skickas inom 10-15 vardagar
Nicolas Peltier, Viorica Sofronie-Stokkermans - Automated Reasoning, Häftad

Automated Reasoning

Av Nicolas Peltier, Viorica Sofronie-Stokkermans

Häftad, Engelska, 2020

1 169 kr

Skickas inom 10-15 vardagar
Nikolaj Bjørner, Viorica Sofronie-Stokkermans - Automated Deduction -- CADE-23, Häftad

Automated Deduction -- CADE-23

Av Nikolaj Bjørner, Viorica Sofronie-Stokkermans

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar
Cesare Tinelli, Viorica Sofronie-Stokkermans - Frontiers of Combining Systems, Häftad

Frontiers of Combining Systems

Av Cesare Tinelli, Viorica Sofronie-Stokkermans

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar