Sign in

Computer Proofs of Limit Theorems.

W. W. BledsoeRobert S. BoyerWilliam H. Henneman
Published in: Artif. Intell. (1972)
Keyphrases
  • limit theorems
  • confidence intervals
  • computer programs
  • heavy traffic
  • queue length
  • special case