Hybrid Deduction-Refutation Systems.

Valentin Goranko

Published in: Axioms (2019)

Keyphrases

theorem proving
expert systems
databases
real time
distributed systems
genetic algorithm
computer vision
information systems
software development
building blocks
learning systems
retrieval systems
inference rules
automated theorem proving