-calculus and applications.

Awais Younus Muhammad Asif Khurram Farhad

Published in: Inf. Sci. (2021)

Keyphrases

automated deduction
neural network
machine learning
knowledge base
website
three dimensional
computer algebra
timed automata
real time
databases
information systems
real numbers
automated theorem proving
algebraic structure