Name Card

Full name Familienname, Vorname
Schoisswohl, Johannes
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021