Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Computer Engineering Group Show image information

Computer Engineering Group

|

Paper accepted for ARC 2018

Tim Hansmeier, Marco Platzner and David Andrews got their conference paper „An FPGA/HMC-based Accelerator for Resolution Proof Checking” accepted for presentation at ARC 2018 (14th International Symposium on Applied Reconfigurable Computing, May 2-4, 2018, Santorini, Greece). Tim Hansmeier will present the paper on Santorini in May.

The University for the Information Society