Computer Proofs of Limit Theorems. Artificial Intelligence, Memo No.217, June 1971 /
| Hlavní autor: |
Bledasoe, W.W
(
Autor )
|
|---|---|
| Další autoři: |
Henneman, William H.
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Massachusetts :
Massachusetts Inst. of Technol.,
[asi 1972].
|
|
|