Scripta Varia

Logic in computer science and proof systems

Prof. Gilles Dowek | INRIA, France

Related

Robotics, AI, and Humanity: Science, Ethics, and Policy

Conference 16-17 May 2019 | Recent advances in machine learning (commonly referred to as artificial... Read more