Login / Signup
A Very Simple and Elementary Proof of a Theorem of Ingelstam.
S. H. Kulkarni
Published in:
Am. Math. Mon. (2004)
Keyphrases
</>
databases
three dimensional
multi agent
computer science
information technology
search engine
computer vision
information systems
decision trees
database systems
expert systems
wireless sensor networks
theorem prover
highly reliable
interactive theorem proving