Proof of a Conjecture of S. Mac Lane.

Sergei Soloviev

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

theorem prover
detection algorithm
real time
neural network
data mining
social networks
computer vision
case study
wireless sensor networks
theorem proving
traffic flow
linear logic
lane departure
geometry theorem proving