Login / Signup
The intermediate value theorem in constructive mathematics without choice.
Matthew Hendtlass
Published in:
Ann. Pure Appl. Log. (2012)
Keyphrases
</>
computer science
database systems
neural network
knowledge base
probabilistic model
middle school students