Login / Signup
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