Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
14
Typed SLD-Resolution: Dynamic Typing for Logic Programming:
, In:
?
2022 IEEE 12th Symposium on Large Data Analysis and Visualization (LDAV) ,
15