| |
| 2000 | ||
|---|---|---|
| 1 | EE | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt: Reasoning about the Elementary Functions of Complex Analysis. AISC 2000: 115-126 |
| 1 | Robert M. Corless | [1] |
| 2 | James H. Davenport | [1] |
| 3 | David J. Jeffrey | [1] |
| 4 | Stephen M. Watt | [1] |