Tim S. Leask is an author at RMIT University specializing in knowledge discovery, automated reasoning, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceData IntegrationAutomated ReasoningKnowledge Discovery
Publications per year
1993–1994
2
2
The aditi deductive database system
Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp et al. · The VLDB Journal · 1994 · 64 citations
The Aditi Deductive Datebase System.
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp et al. · Logic in Databases · 1993 · 12 citations
Rows per page
1–2 of 2