Cesare Tinelli · 5 obras en el catálogoObrasFrontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011Description Logic, Theory Combination, and All ThatTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsFFrontiers of Combining SystemsFrontiers of Combining SystemsAAutomated Deduction - CADE 29Automated Deduction - CADE 29
Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
