Full name Familienname, Vorname
Rath, Jakob
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rath Jakob - 2019 - Subsumption demodulation in first-order theorem proving.pdf.jpgRath, Jakob Subsumption demodulation in first-order theorem provingThesis Hochschulschrift2019