-calculus.

Eva Graversen Iain Phillips Nobuko Yoshida

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

computer algebra
artificial intelligence
search engine
proof procedure
databases
e learning
image processing
information technology
complex objects
automated theorem proving