Symposium on Automatic Demonstration
著者名典拠詳細を表示
| 著者の属性 | 会議 |
|---|---|
| 場所 | Versailles |
| 一般注記 | SRC:Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.](Springer-Verlag, 1970) |
| Dates of Birth and Death | 1968 |
| コード類 | 典拠ID=AU20072135 NCID=DA08026992 |
| 1 | Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.] Berlin : Springer-Verlag , 1970 |