Workshop Limits of Theorem Proving

03.08.2021

A. Tereszkiewicz

Workshop Limits of Theorem Proving, Rome, Italy, Sep 25-27, 2012

University of Leeds, Sapienza University Rome, Sapienza University Rome, University of Toronto (org.)

©2022 Wszystkie prawa zastrzeżone.