Davies, Jim

詳細情報

ID

01171403

典拠種別Type of Authority

個人名Personal Names

名称/タイトルName / Title

Davies, Jim

生年Date of Birth

1964

経歴Biographical Information

英・オックスフォード大所属

関連リンクRelated Links

NDL|01171403 (VIAF)

出典Sources

Proceedings of the first international workshop on formal methods education and training / Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)
LC典拠 (200908)

作成日Date Created

2009-08-27

最終更新日Last Updated

2009-08-31T14:51:28

外部サイトへのリンクExternal Link

Wikipediaで検索を行うSearch the Japanese Wikipedia
※Wikipediaの検索結果の一覧が表示されます。

他形式のデータOther formats

RDF/XML形式RDF/XML format, RDF/Turtle形式RDF/Turtle format, JSON-LD形式JSON-LD format