Ujala Qasim

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Logical Inference

Automated Deduction

Theorem Proving

Top Venues

Publications

Ujala Qasim, Adnan Rashid, Osman Hasan
Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR (2021)