C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Collision-Proof Warning System for Sea-Cross Bridge.
Hong-Tao Chen
Hong-Jun Pan
Xiao-qiu Yao
Published in:
ICFCE (2011)
Keyphrases
</>
collision detection
collision avoidance
linear logic
theorem proving
databases
theorem prover
geometry theorem proving
mathematical proofs
natural deduction
automated theorem proving
learning environment
case study
multimedia
e learning
feature selection
artificial intelligence
machine learning
neural network