top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
   

Espandi
Riduci



Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings Università degli Studi di Salerno
Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Università degli Studi di Napoli Federico II
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings Università degli Studi di Napoli Federico II
Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Università degli Studi di Salerno
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings Università degli Studi di Salerno
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II Università degli Studi di Napoli Federico II
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings Università degli Studi di Napoli Federico II
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II