-
1
Inductive logic programming as satisfiability modulo theories
Published 2023Subjects: “…Programming by example (Computer science)…”
Thesis -
2
In silico investigations into lysosomal arrhythmia causation
Published 2024Subjects: “…Programming by example (Computer science)…”
Thesis -
3