Extended Nullstellensatz proof systems.

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

knowledge based systems
real time
expert systems
management system
building blocks
learning systems
systems require
data sets
decision making
distributed systems
peer to peer
computer systems
complex systems
theorem proving