A Possibly New Proof of the Law of Cos.

Miles Dillon Edwards

Published in: Am. Math. Mon. (2014)

Keyphrases

legal reasoning
information technology
theorem prover
neural network
artificial intelligence
information systems
knowledge base
image processing
cooperative
preprocessing
theorem proving
linear logic
case law