(1 - 15 von 16
)
IJCAR 2018: Automated Reasoning, Jul 2018, Oxford, England
resources.illc.uva.nl
... Hokkaido University Uli Sattler The University of Manchester Renate A. Schmidt The University of Manchester Stephan Schulz (Chair) DHBW Stuttgart Roberto ... http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van ...
sortiert nach Relevanz / Datum