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 |