Theorems and Conjectures.

Ronald L. Aquino Jerico B. Bacani

Published in: ICMC (2021)

Keyphrases

theorem prover
inductive inference
databases
sequent calculus
database
decision making
web pages
metadata
artificial neural networks
knowledge representation