Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

11 Publications


2017 | Bachelorsthesis | LibreCat-ID: 3580
@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }
LibreCat
 

Filters and Search Terms

(person=49992)

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Date Updated
Citation Style: BibTeX

Export / Embed