Agent-Based Proof Design via Lemma Flow Diagram.

Keehang Kwon Dae-Seong Kang

Published in: CoRR (2020)

Keyphrases

case study
databases
machine learning
engineering design
design principles
expert systems
user interface
knowledge based systems
flow diagram
theorem prover
user experience
computer aided
design process
mobile robot
high dimensional
cooperative
multimedia
information systems
neural network