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