Thesis
- 1 results
Search results
-
SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS
Zheng, S. (Author), Schmidt, R. (Supervisor) & Reger, G. (Supervisor), 31 Dec 2021Student thesis: Phd
File