RT @gprimiero: New paper! G. Cignarale @vclaTUwien G. Primiero @LogicMilano on a #multi-agent version of the #depth-bounded boolean #logic…
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Springer International Publishing
RT @gprimiero: New paper! G. Cignarale @vclaTUwien G. Primiero @LogicMilano on a #multi-agent version of the #depth-bounded boolean #logic…
RT @gprimiero: New paper! G. Cignarale @vclaTUwien G. Primiero @LogicMilano on a #multi-agent version of the #depth-bounded boolean #logic…
RT @LaStataleFilo: New paper for @LogicMilano by @gprimiero and former student Giorgio Cignarale now PhD candidate @vclaTUwien https://t.co…
RT @LaStataleFilo: New paper for @LogicMilano by @gprimiero and former student Giorgio Cignarale now PhD candidate @vclaTUwien https://t.co…