Laudet, M.
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | SRC:Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.](Springer-Verlag, 1970) |
コード類 | 典拠ID=AU20072136 NCID=DA08027011 |
1 | Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.] Berlin : Springer-Verlag , 1970 |