詳細情報

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
他形式のデータOther formats
RDF/XML形式RDF/XML format, RDF/Turtle形式RDF/Turtle format, JSON-LD形式JSON-LD format