Cesare Tinelli

Cesare Tinelli

2 ספרים במאגר

ספרים

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011Cesare Tinelli

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011

Cesare Tinelli · 2011

Frontiers of Combining SystemsCesare Tinelli

Frontiers of Combining Systems

Cesare Tinelli · 2011

ספרים משותפים ואוספים

ספרים שבהם Cesare Tinelli מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Deduction - CADE 29Brigitte Pientka

Automated Deduction - CADE 29

Brigitte Pientka · 2023

Description Logic, Theory Combination, and All ThatCarsten Lutz

Description Logic, Theory Combination, and All That

Carsten Lutz · 2019

Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier · 2015