Yazar
Cesare Tinelli
5 cilt bulundu.
Cilt sonuçları
Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
Cesare Tinelli · Springer
Sayfa sayısı yok · 2011
Logic design / Software engineering / Computer science / Artificial intelligence / Computer software
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter · Springer
675 sayfa · 2019
Kategori yok
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli · Springer London, Limited
725 sayfa · 2015
System design / System analysis / Computer software, development
Automated Deduction - CADE 29
Brigitte Pientka, Cesare Tinelli · Springer
Sayfa sayısı yok · 2023
Logic, symbolic and mathematical / Computer programming / Computer software, development / Artificial intelligence