コンテンツへ移動
Mixed inductive-coinductive reasoning : types, programs and logic 資料のプレビュー
閉じる資料のプレビュー
確認中…

Mixed inductive-coinductive reasoning : types, programs and logic

著者: Henning Basold; J J M M Rutten; H Geuvers
出版社: Nijmegen : Radboud Universiteit, 2018
論文: PhD thesis Radboud Universiteit
エディション/フォーマット:   学位論文/卒業論文 : Thesis/dissertation : English
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

資料の種類: Thesis/dissertation
ドキュメントの種類 書籍
すべての著者/寄与者: Henning Basold; J J M M Rutten; H Geuvers
ISBN: 9780244672065 0244672067
OCLC No.: 1084613726
物理形態: 330 p. ; 24 cm.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1084613726<\/a>> # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Thesis<\/a>, schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"PhD thesis Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> ; # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> ; # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> ; # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> ; # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/8899379622<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"330<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/nijmegen_radboud_universiteit<\/a>> ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> ; # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780244672065<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Basold<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Henning<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Henning Basold<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"H.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"H. Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Rutten<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"J. J. M. M.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"J. J. M. M. Rutten<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Nijmegen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"ne<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780244672065<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0244672067<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780244672065<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1084613726<\/a>> ; # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-06<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n