-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science Vol.9035
-
Herausgegeben von Baier, Christel
Tinelli, Cesare
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2015年 04月
装丁：PAP
版次：2015. 2015. xviii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Automated Deduction - CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Lecture Notes in Computer Science 14132
-
Herausgegeben:Pientka, Brigitte
Tinelli, Cesare
-
出版社：Springer, Berlin; Springer Nature Switzerland; Cade C
出版年月：2023年 00月
装丁：PAP
版次：1st ed. 2023. 2023. xxv
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Lecture Notes in Computer Science .11560
-
Herausgegeben von Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
版次：1st ed. 2019. 2019. xiii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
