Cesare Tinelli - Böcker

Visar alla böcker från författaren Cesare Tinelli.
4 produkter
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter - Description Logic, Theory Combination, and All That, Häftad

Description Logic, Theory Combination, and All That

Av Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar
Brigitte Pientka, Cesare Tinelli - Automated Deduction – CADE 29, Häftad

Automated Deduction – CADE 29

Av Brigitte Pientka, Cesare Tinelli

Häftad, Engelska, 2023

579 kr

Skickas inom 7-10 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

729 kr

Skickas inom 10-15 vardagar
Christel Baier, Cesare Tinelli - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Christel Baier, Cesare Tinelli

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar