Full name Familienname, Vorname
Rath, Jakob
 

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

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