{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BN06028529.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BN06028529#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BN06028529.json"},"dc:title":[{"@value":"非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究"},{"@value":"ヒテイシ プロセス ノ チュウショウカ ト ダイスウテキ シヨウ キジュツ ニ カンスル キソテキ ケンキュウ","@language":"ja-hrkt"}],"dcterms:alternative":["平成元年度科学研究費補助金(一般研究C)研究成果報告書"],"dc:creator":"研究代表者 坂部俊樹","dc:publisher":[{"@value":"[出版者不明]"}],"dcterms:extent":"53p","cinii:size":"26cm","dc:language":"jpn","dc:date":"1990","cinii:ncid":"BN06028529","cinii:ownerCount":"1","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA05196613#entity","@type":"foaf:Person","foaf:name":[{"@value":"坂部, 俊樹 "},{"@value":"サカベ, トシキ","@language":"ja-hrkt"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA002407","@type":"foaf:Organization","foaf:name":"名古屋大学 附属図書館","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BN06028529&initFlg=_RESULT_SET_NOTBIB"}}],"prism:publicationDate":["1990.3"],"cinii:note":["課題番号:63580025"]}]}