(1 - 8 von 10
)
call for papers
www.eprover.org
... Geoff Sutcliffe Cesare Tinelli Josef Urban Luca Vigano Andrei Voronkov Uwe Waldmann ORGANIZERS Boris Konev, University of Liverpool Renate Schmidt, ...
sortiert nach Relevanz / Datum