CiNii 図書 - CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings

<!DOCTYPE html> <html lang="ja" itemscope itemtype="http://schema.org/Book"> <head> <script type="text/javascript" src="/books/js/preview.js?V171012"></script> <script type="text/javascript" src="/books/js/elinklist_disclosure.js?V141104"></script> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" /> <meta http-equiv="content-style-type" content="text/css" /> <meta http-equiv="content-script-type" content="text/javascript" /> <meta name="viewport" content="width=device-width,user-scalable=no" /> <meta name="format-detection" content="telephone=no"> <link rel="stylesheet" type="text/css" href="/books/style/slick.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-theme.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-ext.css?V190423"> <link rel="shortcut icon" href="/books/images/favicon.ico" type="image/vnd.microsoft.icon" /> <link href="/books/style/cinii.css?V202209" rel="stylesheet" type="text/css" /> <script type="text/javascript" src="/books/js/jquery-3.7.1.min.js"></script> <script type="text/javascript" src="/books/js/bootstrap.min.js"></script> <script type="text/javascript" src="/books/js/cinii.js?V151027"></script> <script type="text/javascript" src="/books/js/html5shiv-printshiv.min.js"></script> <script type="text/javascript" src="/books/js/respond.min.js"></script> <script type="text/javascript" src="/books/js/common.js?V240716"></script> <script type="text/javascript" src="/books/js/changeDisplayMode.js?V190913"></script> <script type="text/javascript" src="/books/js/transferParameterCir.js?240724"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-5YXF8KWH9K"></script> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books" href="/books/opensearch/description.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Exact title match" href="/books/opensearch/exact-title.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Author Search" href="/books/opensearch/author.xml" />  <title>CiNii 図書 - CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings</title> <link rel="meta" type="application/rdf+xml" title="RDF" href="/ncid/BA03441957.rdf" /> <link rel="meta" type="application/json" title="JSON-LD 1.0" href="/ncid/BA03441957.json" /> <link rel="canonical" href="https://ci.nii.ac.jp/ncid/BA03441957" /> <link rel="amphtml" href="https://ci.nii.ac.jp/ncid/BA03441957.amp" /> <meta name="dc.title" content="CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings" /> <meta name="dc.creator" content="Colloquium on Trees in Algebra and Programming" /> <meta name="dc.creator" content="Dauchet, Max" /> <meta name="dc.creator" content="Nivat, Maurice" /> <meta name="dc.creator" content="European Symposium on Programming" /> <meta name="dc.publisher" content="Springer-Verlag" /> <meta name="dc.date" content="1988" /> <meta name="dc.type" content="book" /> <meta name="citation_abstract_html_url" content="https://ci.nii.ac.jp/ncid/BA03441957" /> <meta property="og:title" content="CiNii 図書 - CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings" /> <meta property="og:description" content="CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings M. Dauchet, M. Nivat (eds.) （Lecture notes in computer science, 299） Springer-Verlag, c1988 : gw : us" /> <meta property="og:type" content="book" /> <meta property="og:url" content="https://ci.nii.ac.jp/ncid/BA03441957" /> <meta property="og:site_name" content="CiNii Books" /> <meta property="fb:admins" content="701886930" /> <meta name="twitter:card" content="summary" /> <meta name="twitter:site" content="@cinii_jp" /> <meta itemprop="name" content="CiNii 図書 - CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings" /> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Article", "name": "CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings", "author": { "@type": "Person", "name": "M. Dauchet, M. Nivat (eds.)" }, "publisher": { "@type":"Organization", "name": "Springer-Verlag" }, "datePublished": "c1988", "description": "Held in conjunction with ESOP '88\nIncludes bibliographies and index\nA tree pattern matching algorithm with reasonable space requirements.- On the maximum path length of AVL trees.- Decomposition trees: Structured graph representation and efficient algorithms.- On counting and approximation.- Parameter-reduction of higher level grammars.- Analysis of dynamic algorithms in D.E.Knuth's model.- On completeness of narrowing strategies.- Implementing term rewrite languages in Dactl.- Unification in primal algebras.- Algebraic specification with built-in domain constructions.- Product and iteration of module specifications.- Equational completion in order-sorted algebras extended abstract.- Proving systolic arrays.- Expressiveness bounds for completeness in trace-based network proof systems.- Proof systems for Hennessy-Milner Logic with recursion.- Regular automata and model checking.- Interval logics and sequential transducers.- A2CCS: A simple extension of CCS for handling atomic actions.- Modelling statecharts behaviour in a fully abstract way.- Directed hypergraphs: Data structures and applications.\nThis volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.\n", "url": "https://ci.nii.ac.jp/ncid/BA03441957", "headline": "CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings" } </script></head> <body class="books detail with_sidenavi"> <nav class="navbar navbar-header"> <div class="navbar-topcontent"> <a href="/books/" id="system_ci_jp" class="navbar-brand headerlogo">CiNii 国立情報学研究所学術情報ナビゲータ[サイニィ]</a>  <button type="button" class="navbar-toggle button-menu collapsed" data-toggle="collapse" data-target="#nav-content"> メニュー </button> <button type="button" class="navbar-toggle button-search collapsed" data-toggle="collapse" data-target="#searchbox"> 検索 </button> </div> <div id="nav-content" class="collapse navbar-collapse headermenu"> <ul class="nav navbar-nav menu-service-list"> <li><a href="https://cir.nii.ac.jp/" onclick="return transferParameterCir(this, 'https://cir.nii.ac.jp', true, 'cir');" class="menu-service-item"><div>論文・データをさがす</div></a></li> <li class="active"><a href="/books/" class="menu-service-item"><div>大学図書館の本をさがす</div></a></li> <li><a href="/d/?l=ja" onclick="return transferParameterCir(this, '', true, 'cid');" class="menu-service-item"><div>日本の博士論文をさがす</div></a></li> </ul> <ul class="nav navbar-nav menu-utility-list"> <li><a href="https://auth.cir.nii.ac.jp/user/auth/login?contentsServer=BOOKS" class="menu-utility-item">ログイン</a></li> <li><a href="/ncid/BA03441957?l=en" class="menu-utility-item">English</a></li> </ul> </div> </nav> <div class="container body-wrap"> <div id="searchbox" class="searchbox"> <div class="book_search searchFormContainer"> <div id ="searchformcontents" class="searchformcontents container-fluid"> <div class="searchboxheader row"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="tab_index"> <ul class="tab_index_list"> <li class="tab_index_item tab_index_item-active"> <a id="tab-book_search" class="tab-index-content" href="javascript:void(0);" >図書・雑誌検索</a> </li> <li class=" tab_index_item"> <a id="tab-author_search" class="tab-index-content" href="javascript:void(0);">著者検索</a> </li> <li class=" tab_index_item"> <a id="tab-content_search" class="tab-index-content" href="javascript:void(0);">内容検索</a> </li> </ul> </div> </div> </div> <form id="searchbooksform" name="searchbooksform" action="/books/search" method="get" onsubmit="return searchBooks(this, false);"> <input type="hidden" name="advanced" id="hidden_advanced" value="false" /> <input type="hidden" name="count" id="hidden_count" value="20" /> <input type="hidden" name="sortorder" id="hidden_sortorder" value="3" /> <div class="row form-tabcontent form-books"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="q" id="freetextbox" class="main_srchterm searchforminput" value="" onkeypress="return submitByEnter(this);" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" id="book_srchbtn_nrml" alt="検索" value="" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> </div> </div> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row filter_radiobtnbox"> <div class="col-xs-12 col-sm-9 filter_segmentControl"> <div class="row"> <div class="col-xs-12 col-sm-2 filter_radiobtnbox-segmentarea1"> <label for="filter_all_advanced" class="segment1 checked"><input type="radio" name="type" value="0" id="filter_all_advanced" checked="checked" />すべての資料</label> </div> <div class="col-xs-12 col-sm-3 filter_radiobtnbox-segmentarea2"> <label for="filter_fulltext_advanced" class="segment2"><input type="radio" name="type" value="1" id="filter_fulltext_advanced" />図書</label> </div> <div class="col-xs-12 col-sm-7 filter_radiobtnbox-segmentarea3"> <label for="filter_includeLinks_advanced" class="segment3"><input type="radio" name="type" value="2" id="filter_includeLinks_advanced" />雑誌</label> </div> </div> </div> <div class="col-xs-12 col-sm-3 advsearchbtn-area"> <a id="btn-toggle-advsearch-top" class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">詳細検索</span></a> </div> </div> </div> <div id="advanced_search" class="col-xs-12 col-sm-12 advanced_search"> <div class="row"> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt1">タイトル</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt1" name="title" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="exact_title"><input type="checkbox" class="cb" id="exact_title" name="title_exact" value="true" >タイトル完全一致</label> <label for="include_utl"><input type="checkbox" class="cb" id="include_utl" name="include_utl" value="true" >統一タイトルを含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt2">著者名</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt2" name="author" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="include_alias" class="customCB"><input type="checkbox" class="cb" id="include_alias" name="include_alias" value="true" >別名を含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt3">著者ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt3" name="authorid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt4">統一タイトルID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt4" name="utid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt5">出版者</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt5" name="publisher" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt6">ISBN</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt6" name="isbn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt7">ISSN</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt7" name="issn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt8">NCID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt8" name="ncid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt9">件名</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt9" name="subject" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt10">分類</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt10" name="clas" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt11">注記</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt11" name="note" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="slct-typecode-gmd">資料種別</label></div> <div class="col-xs-12 col-sm-6 col-form"> <select name="gmd" class="slct-typecode searchforminput" id="slct-typecode-gmd"> <option value="">すべての資料種別</option> <option value="_">図書・雑誌</option> <option value="a">地図資料</option> <option value="b">文字資料（点字）</option> <option value="c">楽譜（印刷）</option> <option value="d">文字資料（書写資料）</option> <option value="e">地図（書写資料）</option> <option value="f">楽譜（書写資料）</option> <option value="g">静止画像（投影）</option> <option value="h">マイクロ形態</option> <option value="k">静止画像（非投影）</option> <option value="m">映画</option> <option value="s">録音資料（音楽）</option> <option value="t">録音資料（非音楽）</option> <option value="v">ビデオレコード</option> <option value="w">機械可読データファイル</option> <option value="x">3次元工芸品,自然の事物</option> <option value="y">キット</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt13">言語種別</label></div> <div class="col-xs-12 col-sm-7 col-form"> <div class="langControls"> <span class="langselect"> <select name="lang1" class="slct-langcode searchforminput"> <option value="">すべての言語</option> <option value="jpn">日本語</option> <option value="eng">英語</option> <option value="ger">ドイツ語</option> <option value="fre">フランス語</option> <option value="chi">中国語</option> <option value="rus">ロシア語</option> <option value="spa">スペイン語</option> <option value="ita">イタリア語</option> <option value="kor">韓国・朝鮮語</option> <option value="ara">アラビア語</option> </select> </span> <span class="langcode"><input type="text" id="sopt13" name="lang" class="searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="コード" /></span> </div> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt14">出版年</label></div> <div class="col-xs-12 col-sm-7 "> <input type="text" id="sopt14" name="year_from" class="degreeconferment_year" onkeypress="return submitByEnter(this);" maxlength="4" value="" /> <span class="unit">年から</span> <input type="text" id="sopt14-2" name="year_to" class="degreeconferment_year" maxlength="4" onkeypress="return submitByEnter(this);" value="" /> <span class="unit">年まで</span> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt15">図書館ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt15" name="fano" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt16">機関ID</label></div> <div class="col-xs-12 col-sm-7 "><input type="text" id="sopt16" name="kid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt17">地域</label></div> <div class="col-xs-12 col-sm-7 col-form"> <select name="area" class="slct-kencode searchforminput" id="sopt17"> <option value="">すべての地域</option> <option value="01" class="ken">北海道</option> <option value="02 03 04 05 06 07 " class="region">東北地方</option> <option value="02" class="ken">青森</option> <option value="03" class="ken">岩手</option> <option value="04" class="ken">宮城</option> <option value="05" class="ken">秋田</option> <option value="06" class="ken">山形</option> <option value="07" class="ken">福島</option> <option value="08 09 10 11 12 13 14 " class="region">関東地方</option> <option value="08" class="ken">茨城</option> <option value="09" class="ken">栃木</option> <option value="10" class="ken">群馬</option> <option value="11" class="ken">埼玉</option> <option value="12" class="ken">千葉</option> <option value="13" class="ken">東京</option> <option value="14" class="ken">神奈川</option> <option value="15 16 17 18 19 20 " class="region">北陸・甲信越地方</option> <option value="15" class="ken">新潟</option> <option value="16" class="ken">富山</option> <option value="17" class="ken">石川</option> <option value="18" class="ken">福井</option> <option value="19" class="ken">山梨</option> <option value="20" class="ken">長野</option> <option value="21 22 23 24 " class="region">東海地方</option> <option value="21" class="ken">岐阜</option> <option value="22" class="ken">静岡</option> <option value="23" class="ken">愛知</option> <option value="24" class="ken">三重</option> <option value="25 26 27 28 29 30 " class="region">関西地方</option> <option value="25" class="ken">滋賀</option> <option value="26" class="ken">京都</option> <option value="27" class="ken">大阪</option> <option value="28" class="ken">兵庫</option> <option value="29" class="ken">奈良</option> <option value="30" class="ken">和歌山</option> <option value="31 32 33 34 35 36 37 38 39 " class="region">中国・四国地方</option> <option value="31" class="ken">鳥取</option> <option value="32" class="ken">島根</option> <option value="33" class="ken">岡山</option> <option value="34" class="ken">広島</option> <option value="35" class="ken">山口</option> <option value="36" class="ken">徳島</option> <option value="37" class="ken">香川</option> <option value="38" class="ken">愛媛</option> <option value="39" class="ken">高知</option> <option value="40 41 42 43 44 45 46 47 " class="region">九州・沖縄地方</option> <option value="40" class="ken">福岡</option> <option value="41" class="ken">佐賀</option> <option value="42" class="ken">長崎</option> <option value="43" class="ken">熊本</option> <option value="44" class="ken">大分</option> <option value="45" class="ken">宮崎</option> <option value="46" class="ken">鹿児島</option> <option value="47" class="ken">沖縄</option> <option value="151 152 153 " class="region">アジア地域</option> <option value="151" class="ken">韓国</option> <option value="152" class="ken">中国</option> <option value="153" class="ken">タイ</option> <option value="254 255 256 257 258 259 260 261 " class="region">ヨーロッパ地域</option> <option value="254" class="ken">イギリス</option> <option value="255" class="ken">ドイツ</option> <option value="256" class="ken">スイス</option> <option value="257" class="ken">フランス</option> <option value="258" class="ken">ベルギー</option> <option value="259" class="ken">オランダ</option> <option value="260" class="ken">スウェーデン</option> <option value="261" class="ken">ノルウェー</option> <option value="362 " class="region">北米地域</option> <option value="362" class="ken">アメリカ</option> <option value="__" class="region">その他海外</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"></div> <div class="col-xs-12 col-sm-10 col-form advinput_chk chk-keep-condition"> <label for="chk_keep_condition"><input name="keep_condition" class="cb" id="chk_keep_condition" type="checkbox" value="true" />図書館ID・機関ID・地域を記憶する</label> <input name="update_keep" type="hidden" value="true"> <script type="text/javascript"> //<![CDATA[ document.write("<label for=\"script_r2k_advanced\"><input type=\"checkbox\" class=\"cb\" id=\"script_r2k_advanced\"/>ローマ字をカナに変換 </label>"); //]]> </script> </div> </div> </div> <div class="col-xs-12 visible-xs-block text-center"> <button class="btn searchbtn" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> <div id="btn-toggle-advsearch-bottom" class="col-xs-12 visible-xs-block advsearchbtn-area"> <a class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">閉じる</span></a> </div> </div> </div> </div> </form> <form id="searchnamesform" name="searchnamesform" action="/books/author" method="get" onsubmit="return searchNames(this, false);"> <input type="hidden" name="count" value="20" /> <input type="hidden" name="sortorder" value="2" /> <div class="row form-tabcontent form-author"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="name" id="authname_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="著者名" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchNames(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> <form id="searchcontentsform" name="searchcontentsform" action="/books/contents" method="get" onsubmit="return searchContents(this, false);"> <input type="hidden" name="count" value="20" > <input type="hidden" name="sortorder" value="3" > <div class="row form-tabcontent form-content"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="contents" id="contents_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchContents(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> </div> </div> </div> <script type="text/javascript" src="/books/js/searchbox_disclosure.js?V240716"></script> <script type="text/javascript" src="/books/js/utils.js?V190913"></script> <script type="text/javascript"> window.initSearchBox('book', false); </script> <div class="servicestop_information"><div id="servicestop_information"> <ul><li><a href="https://support.nii.ac.jp/ja/cir/cib_integration">【2023年10月31日掲載】CiNii BooksのCiNii Researchへの統合について</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/20250227">英国Nielsen Book Services社提供データの削除について</a></li> </ul> </div> </div> <div class="container-hasSubnav"> <div class="maincontents"> <div id="itemdatatext" class="itemdatatext"> <div class="itemheading paperdata"> <h1 class="book_class entry-title"> <span>CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings</span> </h1> <div id="authors" class="authorsContainer hidden-xs"> <ul> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00018389"> <span class="authorname fn">Colloquium on Trees in Algebra and Programming</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA02177361"> <span class="authorname fn">Dauchet, Max</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA0104972X"> <span class="authorname fn">Nivat, Maurice</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00228585"> <span class="authorname fn">European Symposium on Programming</span> </a> </li> </ul> </div> </li> </ul> </div> <div id="numofrelateditem"> <ul> <li class="referencelink"><a href="#ref">関連文献: 1件</a></li> </ul> </div> </div> <div class="sectionofdata visible-xs"> <h2 class="heading">著者</h2> <div class="authorsContainer"> <ul class="row"> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00018389"> <span class="fn">Colloquium on Trees in Algebra and Programming</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA02177361"> <span class="fn">Dauchet, Max</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA0104972X"> <span class="fn">Nivat, Maurice</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00228585"> <span class="fn">European Symposium on Programming</span> </a> </li> </ul> </div> </li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">書誌事項</h2> <div class="dataContainer bibliographicdata"> <p class="bblp-title trd">CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings</p> <p class="bblp-author al">M. Dauchet, M. Nivat (eds.)</p> <p class="bblp-series ptbtr-ptbno">（Lecture notes in computer science, 299）</p> <p class="bblp-publish publ-pubdt">Springer-Verlag, c1988</p> <ul class="bblp-vols vlsr clearfix"> <li>: gw</li><li>: us</li> </ul> <p class="bblp-type gmd"></p> </div> </div> <div class="sectionofdata" id="anc-library-top"> <div class="listheading"> <h2 class="heading" id="anc-library">大学図書館所蔵&emsp;<span class="library-fulfillNum"><span id="pNummatches"><span id="numFiltered"></span>件 / </span>全<span class="numoflibrary">57</span>件</span></h2> <script type="text/javascript"> //<![CDATA[ var libraryFilteringSource = "<div class=\"library-filtering clearfix\">" + "<p>" + "<select id=\"kcFilter\" class=\"filter-kencode\" onchange=\"onFilterChanged()\">" + "<option filter=\"kc\" selected=\"selected\" value=\"null\">すべての地域</option>" + "<option filter=\"kc\" value=\"01\" class=\"ken\">北海道</option>" + "<option filter=\"kc\" value=\"02 03 04 05 06 07 \" class=\"region\">東北地方</option>" + "<option filter=\"kc\" value=\"02\" class=\"ken\">青森</option>" + "<option filter=\"kc\" value=\"03\" class=\"ken\">岩手</option>" + "<option filter=\"kc\" value=\"04\" class=\"ken\">宮城</option>" + "<option filter=\"kc\" value=\"05\" class=\"ken\">秋田</option>" + "<option filter=\"kc\" value=\"06\" class=\"ken\">山形</option>" + "<option filter=\"kc\" value=\"07\" class=\"ken\">福島</option>" + "<option filter=\"kc\" value=\"08 09 10 11 12 13 14 \" class=\"region\">関東地方</option>" + "<option filter=\"kc\" value=\"08\" class=\"ken\">茨城</option>" + "<option filter=\"kc\" value=\"09\" class=\"ken\">栃木</option>" + "<option filter=\"kc\" value=\"10\" class=\"ken\">群馬</option>" + "<option filter=\"kc\" value=\"11\" class=\"ken\">埼玉</option>" + "<option filter=\"kc\" value=\"12\" class=\"ken\">千葉</option>" + "<option filter=\"kc\" value=\"13\" class=\"ken\">東京</option>" + "<option filter=\"kc\" value=\"14\" class=\"ken\">神奈川</option>" + "<option filter=\"kc\" value=\"15 16 17 18 19 20 \" class=\"region\">北陸・甲信越地方</option>" + "<option filter=\"kc\" value=\"15\" class=\"ken\">新潟</option>" + "<option filter=\"kc\" value=\"16\" class=\"ken\">富山</option>" + "<option filter=\"kc\" value=\"17\" class=\"ken\">石川</option>" + "<option filter=\"kc\" value=\"18\" class=\"ken\">福井</option>" + "<option filter=\"kc\" value=\"19\" class=\"ken\">山梨</option>" + "<option filter=\"kc\" value=\"20\" class=\"ken\">長野</option>" + "<option filter=\"kc\" value=\"21 22 23 24 \" class=\"region\">東海地方</option>" + "<option filter=\"kc\" value=\"21\" class=\"ken\">岐阜</option>" + "<option filter=\"kc\" value=\"22\" class=\"ken\">静岡</option>" + "<option filter=\"kc\" value=\"23\" class=\"ken\">愛知</option>" + "<option filter=\"kc\" value=\"24\" class=\"ken\">三重</option>" + "<option filter=\"kc\" value=\"25 26 27 28 29 30 \" class=\"region\">関西地方</option>" + "<option filter=\"kc\" value=\"25\" class=\"ken\">滋賀</option>" + "<option filter=\"kc\" value=\"26\" class=\"ken\">京都</option>" + "<option filter=\"kc\" value=\"27\" class=\"ken\">大阪</option>" + "<option filter=\"kc\" value=\"28\" class=\"ken\">兵庫</option>" + "<option filter=\"kc\" value=\"29\" class=\"ken\">奈良</option>" + "<option filter=\"kc\" value=\"30\" class=\"ken\">和歌山</option>" + "<option filter=\"kc\" value=\"31 32 33 34 35 36 37 38 39 \" class=\"region\">中国・四国地方</option>" + "<option filter=\"kc\" value=\"31\" class=\"ken\">鳥取</option>" + "<option filter=\"kc\" value=\"32\" class=\"ken\">島根</option>" + "<option filter=\"kc\" value=\"33\" class=\"ken\">岡山</option>" + "<option filter=\"kc\" value=\"34\" class=\"ken\">広島</option>" + "<option filter=\"kc\" value=\"35\" class=\"ken\">山口</option>" + "<option filter=\"kc\" value=\"36\" class=\"ken\">徳島</option>" + "<option filter=\"kc\" value=\"37\" class=\"ken\">香川</option>" + "<option filter=\"kc\" value=\"38\" class=\"ken\">愛媛</option>" + "<option filter=\"kc\" value=\"39\" class=\"ken\">高知</option>" + "<option filter=\"kc\" value=\"40 41 42 43 44 45 46 47 \" class=\"region\">九州・沖縄地方</option>" + "<option filter=\"kc\" value=\"40\" class=\"ken\">福岡</option>" + "<option filter=\"kc\" value=\"41\" class=\"ken\">佐賀</option>" + "<option filter=\"kc\" value=\"42\" class=\"ken\">長崎</option>" + "<option filter=\"kc\" value=\"43\" class=\"ken\">熊本</option>" + "<option filter=\"kc\" value=\"44\" class=\"ken\">大分</option>" + "<option filter=\"kc\" value=\"45\" class=\"ken\">宮崎</option>" + "<option filter=\"kc\" value=\"46\" class=\"ken\">鹿児島</option>" + "<option filter=\"kc\" value=\"47\" class=\"ken\">沖縄</option>" + "<option filter=\"kc\" value=\"151 152 153 \" class=\"region\">アジア地域</option>" + "<option filter=\"kc\" value=\"151\" class=\"ken\">韓国</option>" + "<option filter=\"kc\" value=\"152\" class=\"ken\">中国</option>" + "<option filter=\"kc\" value=\"153\" class=\"ken\">タイ</option>" + "<option filter=\"kc\" value=\"254 255 256 257 258 259 260 261 \" class=\"region\">ヨーロッパ地域</option>" + "<option filter=\"kc\" value=\"254\" class=\"ken\">イギリス</option>" + "<option filter=\"kc\" value=\"255\" class=\"ken\">ドイツ</option>" + "<option filter=\"kc\" value=\"256\" class=\"ken\">スイス</option>" + "<option filter=\"kc\" value=\"257\" class=\"ken\">フランス</option>" + "<option filter=\"kc\" value=\"258\" class=\"ken\">ベルギー</option>" + "<option filter=\"kc\" value=\"259\" class=\"ken\">オランダ</option>" + "<option filter=\"kc\" value=\"260\" class=\"ken\">スウェーデン</option>" + "<option filter=\"kc\" value=\"261\" class=\"ken\">ノルウェー</option>" + "<option filter=\"kc\" value=\"362 \" class=\"region\">北米地域</option>" + "<option filter=\"kc\" value=\"362\" class=\"ken\">アメリカ</option>" + "<option filter=\"kc\" value=\"__\" class=\"region\">その他海外</option>" + "</select>" + "<select id=\"typeFilter\" class=\"filter-illtype\" onchange=\"onFilterChanged()\">" + "<option filter=\"type\" selected value=\"null\">すべての図書館</option>" + "<option filter=\"type\" value=\"ill\">国内ILL参加館</option>" + "<option filter=\"type\" value=\"oclc\">日米ILL参加館</option>" + "<option filter=\"type\" value=\"keris\">日韓ILL参加館</option>" + "<option filter=\"type\" value=\"grp\">料金相殺可能館</option>" + "</select>" + "<label for=\"opacFilter\" class=\"customCB opacLinkCell\"><input id=\"opacFilter\" class=\"cb\" type=\"checkbox\" onchange=\"onFilterChanged()\"/>OPACリンクあり</label>" + "</p>" +"</div>" ; document.write(libraryFilteringSource); //]]> </script> </div> <div id="holding-libraries" class="datasect_close"> <ul id="library-list" class="clearfix"> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002531">愛知教育大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">us</span><span class="cln">415.6||C11||1988</span><span class="rgtn">88000392</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://mylibrary.aichi-edu.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA015169">愛知産業大学・短期大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">007</span><span class="rgtn">00015951</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://asu.opac.jp/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="07" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA015260">会津大学情報センター (附属図書館)</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">QA166.2.C65 1988</span><span class="rgtn">F0002459</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://libopsv.u-aizu.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="08" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001619">茨城大学附属図書館工学部分館</a><span class="ll-location dstcd">分</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.6:Tre:13</span><span class="rgtn">219001100</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.ibaraki.ac.jp/opc/recordID/catalog.bib/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="09" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001696">宇都宮大学附属図書館陽東分館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">549.08||1|| 299</span><span class="rgtn">2288001585</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.utsunomiya-u.ac.jp/opac/search?s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA007852">大阪産業大学綜合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.9/47/299</span><span class="rgtn">01942770</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.cnt.osaka-sandai.ac.jp/gate?module=search&path=search&method=search&searchForm.library=true&searchForm.orderNumber=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002848">大阪大学附属図書館総合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">08822008259</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002870">大阪大学附属図書館理工学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">08882001129</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="28" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008221">関西学院大学図書館</a><span class="ll-location dstcd">上ケ原</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">510.78:265:299</span><span class="rgtn">0097192140</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.kwansei.ac.jp/iwjs0001opc/ctlsrh.do?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA02289X">九州大学理系図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">408/L 49</span><span class="rgtn">061232004007262</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://catalog.lib.kyushu-u.ac.jp/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012218">京都産業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">418.6||DAU</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://ksucat2.kyoto-su.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002757">京都大学基礎物理学研究所図書室</a><span class="ll-location dstcd">基物研</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">B7||LEC||299</span><span class="rgtn">88085851</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002768">京都大学数理解析研究所図書室</a><span class="ll-location dstcd">数研</span></p> <p> <span class="ll-volume vlsr"><span class="cln">L/N||LNCS||299</span><span class="rgtn">88003507</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002677">京都大学理学部</a><span class="ll-location dstcd">生物</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">401||D||325</span><span class="rgtn">88085851</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="21" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002349">岐阜大学図書館</a></p> <p> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.gifu-u.ac.jp/opc/recordID/catalog.bib/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="43" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003545">熊本大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">418.6||L,49||(299)</span><span class="rgtn">10088354</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opserv.lib.kumamoto-u.ac.jp/opc/xc/search?keys=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="39" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA016922">高知工科大学附属情報図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">007||L49||299</span><span class="rgtn">00017572</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www-opac.lib.kppuc.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="28" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003057">神戸大学附属図書館経済経営研究所図書館</a><span class="ll-location dstcd">図書</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">621.34-446//299</span><span class="rgtn">081000077713</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://op.lib.kobe-u.ac.jp/opac/opac_openurl/?rfe_dat=ncid/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="28" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002994">神戸大学附属図書館社会科学系図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">9-1-754//299</span><span class="rgtn">S011000478117*</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://op.lib.kobe-u.ac.jp/opac/opac_openurl/?rfe_dat=ncid/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="01" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA019625">公立はこだて未来大学情報ライブラリー</a></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08||Le||299</span><span class="rgtn">0000428234</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib-auth.fun.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="11" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA011168">国立研究開発法人理化学研究所図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">430||LEC-1||299</span><span class="rgtn">B9906640</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA009224">国立民族学博物館情報管理施設</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">W1/004/Lec</span><span class="rgtn">C880218128</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.minpaku.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="11" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001743">埼玉大学図書館</a><span class="ll-location dstcd">数学</span></p> <p> <span class="ll-volume vlsr"><span class="cln">415.7:C</span><span class="rgtn">Y8022444</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.saitama-u.ac.jp/Main/OpenSearch?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="25" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002597">滋賀大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">001.6||L 49||299</span><span class="rgtn">088000879</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.shiga-u.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002371">静岡大学附属図書館</a><span class="ll-location dstcd">静図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007/L49/299</span><span class="rgtn">0088019567</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://uni.lib.shizuoka.ac.jp/sul/resolver/svc_dat=suopac/rfr_id=https%3A%2F%2Fnii.ac.jp/?pid=ncid%3ABA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002382">静岡大学附属図書館浜松分館</a><span class="ll-location dstcd">浜図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007/L49/299</span><span class="rgtn">8190045156</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://uni.lib.shizuoka.ac.jp/sul/resolver/svc_dat=suopac/rfr_id=https%3A%2F%2Fnii.ac.jp/?pid=ncid%3ABA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA013039">静岡理工科大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.63||L471||299</span><span class="rgtn">09603055</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://sistlb.sist.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="32" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003148">島根大学附属図書館</a></p> <p> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.shimane-u.ac.jp/opac/opac_link/ncid/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006893">湘南工科大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="rgtn">Z24317</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib.shonan-it.ac.jp/CARIN/CARINOPACLINK.HTM?OAL=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="N" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008083">摂南大学図書館</a><span class="ll-location dstcd">本館</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="rgtn">28802158</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.setsunan.ac.jp/iwjs0021op2/ctlsrh.do?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005642">拓殖大学八王子図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.64||1988||131</span><span class="rgtn">00594112</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.takushoku-u.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001754">千葉大学附属図書館</a><span class="ll-location dstcd">理数学</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: U.S.</span><span class="rgtn">H0803962*</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.ll.chiba-u.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA004898">中央学院大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: U.S.</span><span class="cln">415.7-C714</span><span class="rgtn">E0044506</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://wwwlib.cgu.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005686">中央大学図書館理工学部分館</a><span class="ll-location dstcd">理工</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">004/L47</span><span class="rgtn">00018680140</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.chuo-u.ac.jp/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001652">筑波大学附属図書館中央図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">ikkatu</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001641">筑波大学附属図書館図書館情報学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08:L-49:299</span><span class="rgtn">891016510</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001991">電気通信大学附属図書館</a><span class="ll-location dstcd">研</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">549.98||L49||299</span><span class="rgtn">2218800947,2218802033</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.uec.ac.jp/mylimedio/search/search.do?mode=comp&taget=local&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA020395">東京大学大学院情報理工学系研究科</a><span class="ll-location dstcd">CS図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">39:L:1.299</span><span class="rgtn">2012155582</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA018542">東京都市大学横浜キャンパス図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">410.9/D46c</span><span class="rgtn">1199850231</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.tcu.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006113">東京理科大学野田図書館</a><span class="ll-location dstcd">野図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">418.608||L 49||299</span><span class="rgtn">60185410</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://jimkilisop1.admin.tus.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="04" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001415">東北大学附属図書館工学分館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="rgtn">03880007780</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="16" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002123">富山大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">410.9||C69||13</span><span class="rgtn">00160738</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.u-toyama.ac.jp/opc/recordID/catalog.bib/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002542">名古屋工業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.92||C 11</span>,</span><wbr/> <span class="ll-volume vlsr"><span class="cln">549.92||C 11</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.nitech.ac.jp/opc/recordID/catalog.bib/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002495">名古屋大学工学図書室</a><span class="ll-location dstcd">工電気情報</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||l</span><span class="rgtn">40951417</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA016423">名古屋大学情報基盤センター図書室</a><span class="ll-location dstcd">情基セ</span></p> <p> <span class="ll-volume vlsr"><span class="rgtn">50033644</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002429">名古屋大学情報・言語合同図書室</a><span class="ll-location dstcd">情報・言語</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||L||299||閉架</span><span class="rgtn">41072315</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="29" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA01452X">奈良先端科学技術大学院大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">AB||23||299</span><span class="rgtn">0012303</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.naist.jp/opac/en/search?s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002010">一橋大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">SAe:55:299</span><span class="rgtn">128740935$</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hit-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="02" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001346">弘前大学附属図書館</a><span class="ll-location dstcd">本館</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007||L49||299</span><span class="rgtn">05455331</span>,</span><wbr/> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">007</span><span class="rgtn">h036923*</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opc.ul.hirosaki-u.ac.jp/opc/recordID/catalog.bib/BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="34" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA014927">広島市立大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08LE299</span><span class="rgtn">0000382984</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hiroshima-cu.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="34" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012284">広島大学図書館中央図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">150310</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.hiroshima-u.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="17" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA014009">北陸先端科学技術大学院大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">LN /LNCS/299</span><span class="rgtn">6920965</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="oddline" name="library" _kc="01" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001007">北海道大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">dc19:001.6/l497</span><span class="rgtn">8270001957</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hokudai.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="24" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002564">三重大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.9/L 49/299</span><span class="rgtn">29316422</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.mie-u.ac.jp/opc/xc/openurl/search?rft.issn=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="A" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006678">明治大学図書館</a><span class="ll-location dstcd">生</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: Germany</span><span class="cln">418.6||11-299||||K</span><span class="rgtn">28813668</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac2018.lib.meiji.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006758">立教大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">88-31730</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.rikkyo.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="30" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003104">和歌山大学教育機構学術情報センター図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">219890049199</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.center.wakayama-u.ac.jp/opac/opac_openurl/?ncid=BA03441957" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="hide" id="no_library_msg"> <div>該当する所蔵館はありません</div> </li> <li class="hide" id="remove_all_filters"> <a href="" onclick="return removeAllFilters();">すべての絞り込み条件を解除する</a> </li> </ul> <script type="text/javascript"> //<![CDATA[ var switchLinkSource = "<p id=\"showmore_switchlink\" class=\"showmore-switch\"><a id=\"showmore_trigger\" href=\"#anc-library\" onclick=\"dataDisclosure('holding-libraries' , 'showmore_trigger');\">すべての所蔵館を表示<\/a><\/p>"; document.write(switchLinkSource); //]]> </script> </div> </div> <div class="sectionofdata" id="srch_fulltext"> <h2 class="heading">この図書・雑誌をさがす</h2> <div class="dataContainer externallink" id="externallink"> <ul class="clearfix"> <li class="externallinkL calil" style="background:transparent url('/books/images/exbanner-calil.gif') left no-repeat;"><a target="_blank" href="https://calil.jp/search?q=354019021X|038719021X" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-Calil'});">カーリル</a></li> <li class="externallinkL worldcat" style="background:transparent url('/books/images/exbanner-worldcat.png') left no-repeat;"><a target="_blank" href="https://search.worldcat.org/search?q=bn:354019021X" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-WorldCat'});">WorldCat</a></li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">注記</h2> <div class="dataContainer biblio-note nt"> <p>Held in conjunction with ESOP '88</p> <p>Includes bibliographies and index</p> </div> </div> <div class="sectionofdata"> <h2 class="headingbar">内容説明・目次</h2> <div class="dataContainer biblio-contents toc"> <p class="toc-kind">内容説明</p> <div class="toc-body">This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.</div> <p class="toc-kind">目次</p> <div class="toc-body">A tree pattern matching algorithm with reasonable space requirements.- On the maximum path length of AVL trees.- Decomposition trees: Structured graph representation and efficient algorithms.- On counting and approximation.- Parameter-reduction of higher level grammars.- Analysis of dynamic algorithms in D.E.Knuth's model.- On completeness of narrowing strategies.- Implementing term rewrite languages in Dactl.- Unification in primal algebras.- Algebraic specification with built-in domain constructions.- Product and iteration of module specifications.- Equational completion in order-sorted algebras extended abstract.- Proving systolic arrays.- Expressiveness bounds for completeness in trace-based network proof systems.- Proof systems for Hennessy-Milner Logic with recursion.- Regular automata and model checking.- Interval logics and sequential transducers.- A2CCS: A simple extension of CCS for handling atomic actions.- Modelling statecharts behaviour in a fully abstract way.- Directed hypergraphs: Data structures and applications.</div> <p class="toc-provided-by"> 「Nielsen BookData」より</p> </div> </div> <div class="sectionofdata"> <div class="listheading"> <h2 id="ref" class="heading">関連文献：&ensp;1件中 &ensp;1-1を表示</h2> </div> <div class="listContainer related-article_list"> <ul> <li class="oddline"> <div class="listitem xfolkentry"> <div class="list_number hidden-xs">1</div> <dl class="book_class"> <dt class="item_mainTitle item_title trd"> <a href="/ncid/BA00009279" class="taggedlink">Lecture notes in computer science</a> </dt> <dd> <p class="item_subData item_authordata"></p> <p class="item_data item_publishdata"> <span class="pblc">Springer-Verlag</span> </p> <p class="item_data item_bibotherdata"> <span class="vlsr">volumes 1-100 index</span> </p> <p class="item_data item_librarynum">所蔵館8館</p> </dd> </dl> </div> </li> </ul> </div> </div> </div> </div> <div class="side_navigation"> <div id="sidenav_inner" class="relateditem"> <div class="relateditem_section accesscount"> </div> <div class="relateditem_section social"> <ul class="snsb clearfix"> <li><a href="https://twitter.com/share" class="twitter-share-button" data-lang="ja" data-hashtags="CiNii" data-dnt="true" data-count="vertical">Tweet</a> <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src="//platform.twitter.com/widgets.js?charset=utf8";js.charset="UTF-8";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script> </li> <li><div id="fb-root"></div> <script> window.fbAsyncInit = function() { FB.init({ appId : '359135477483189', autoLogAppEvents : true, xfbml : true, version : 'v2.10' }); FB.AppEvents.logPageView(); }; (function(d, s, id){ var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) {return;} js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/ja_JP/sdk.js"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk')); </script> <div class="fb-like" data-href="https://ci.nii.ac.jp/ncid/BA03441957" data-colorscheme="light" data-layout="box_count" data-action="like" data-show-faces="false" data-send="false" data-font="arial" width="70"></div> </li> </ul> </div> <div id="biblio-image" class="relateditem_section biblio-image-hidden"></div> <div id="biblio-codes" class="relateditem_section papercodes"> <h2 class="heading">詳細情報</h2> <ul class="detailcodeslist"> <li class="papercodesitem ncid"><dl><dt>NII書誌ID(NCID)</dt><dd>BA03441957</dd></dl></li> <li class="papercodesitem isbn"><dl><dt>ISBN</dt><dd><ul class="particular-datalist"><li>354019021X</li><li>038719021X</li></ul></dd></dl></li> <li class="papercodesitem lccn"><dl><dt>LCCN</dt><dd><a href="https://lccn.loc.gov/88004649" target="_blank">88004649</a></dd></dl></li> <li class="papercodesitem ctr"><dl><dt>出版国コード</dt><dd>gw</dd></dl></li> <li class="papercodesitem ctgl"><dl><dt>タイトル言語コード</dt><dd class="ctgl">eng</dd></dl></li> <li class="papercodesitem txtl"><dl><dt>本文言語コード</dt><dd class="txtl">eng</dd></dl></li> <li class="papercodesitem plg"><dl><dt>出版地</dt><dd>Berlin ; Tokyo</dd></dl></li> <li class="papercodesitem phynum"><dl><dt>ページ数/冊数</dt><dd>viii, 303 p.</dd></dl></li> <li class="papercodesitem physz"><dl><dt>大きさ</dt><dd>25 cm</dd></dl></li> <li class="papercodesitem clsn"> <dl> <dt>分類</dt> <dd> <ul class="particular-datalist particular-datalist-cls"> <li>LCC : <a href="/books/search?clas=QA166.2&advanced=true&count=20&sortorder=3">QA166.2</a></li><li>DC19 : <a href="/books/search?clas=511/.5&advanced=true&count=20&sortorder=3">511/.5</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem sh"> <dl> <dt>件名</dt> <dd> <ul class="particular-datalist particular-datalist-sh"> <li>LCSH : <a href="/books/search?subject=Trees%20(Graph%20theory)%20--%20Data%20processing%20--%20Congresses&advanced=true&count=20&sortorder=3">Trees (Graph theory) -- Data processing -- Congresses</a></li><li>LCSH : <a href="/books/search?subject=Data%20structures%20(Computer%20science)%20--%20Congresses&advanced=true&count=20&sortorder=3">Data structures (Computer science) -- Congresses</a></li><li>LCSH : <a href="/books/search?subject=Computational%20complexity%20--%20Congresses&advanced=true&count=20&sortorder=3">Computational complexity -- Congresses</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem ptbl"><dl><dt>親書誌ID</dt><dd><ul class="particular-datalist"><li><a href="/ncid/BA00009279">BA00009279</a></li></ul></dd></dl></li> </ul> </div> <div id="writingformat" class="relateditem_section writingformat"> <h2 class="heading">書き出し</h2> <ul class="exportlist"> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957/refworks" target="RefWorksMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RefWorks'});"">RefWorksに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957/endnote" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-EndNote'});"">EndNoteに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/books/redirect?type=mendeley&url=https%3A%2F%2Fwww.mendeley.com%2Fimport%2F%3Furl%3Dhttps%3A%2F%2Fci.nii.ac.jp%2Fncid%2FBA03441957.bib%26format%3Dbib" target="MendeleyMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Mendeley'});"">Mendeleyに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957.bix" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Refer-BibIX'});"">Refer/BibIXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957.ris" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RIS'});"">RISで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957.bib" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-BibTeX'});"">BibTeXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957.tsv" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-TSV'});"">TSVで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA03441957.txt" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-ISBD'});"">ISBDで表示</a></div></li> </ul> </div> </div> </div> <a class="gotop center-block visible-xs"> ページトップへ </a> </div> </div> <footer class="footer"> <div class="footer-wrap"> <div class="displaymode visible-xs"> <div class="modelist"> <div class="modeitem"> <span id="btnSP" class="selected">スマートフォン版</span> </div> | <div class="modeitem"> <a id="btnPC" href="#" onclick="selectModePc();return false;">PC版</a> </div> </div> </div> <div class="footer-linkblock ftb-about"> <ul class="ft-group"> <li><p class="ft-heading">CiNiiについて</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/cinii/cinii_outline">CiNiiについて</a></li> <li><a href="https://support.nii.ac.jp/ja/cia/cinii_db">収録刊行物について</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/terms">利用規約・プライバシーポリシー</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/contact">お問い合わせ</a></li> <li><a href="https://www.nii.ac.jp/">国立情報学研究所 (NII)</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-help"> <ul class="ft-group"> <li><p class="ft-heading">ヘルプ</p> <ul class="ft-list"> <li><p><a href="https://support.nii.ac.jp/ja/cir/manual_outline">CiNii Research</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cib/manual_outline">CiNii Books - 大学図書館の本をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cid/manual_outline">CiNii Dissertations - 日本の博士論文をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cinii/api/api_outline">メタデータ・API</a></p> </li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-info"> <ul class="ft-group"> <li><p class="ft-heading">新着情報</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/news/cinii">お知らせ</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/feed" class="ft-rsslink">RSS</a></li> <li><a href="https://twitter.com/cinii_jp">Twitter</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-service"> <ul class="ft-group"> <li><p class="ft-heading">NIIのコンテンツサービス</p> <ul class="ft-list"> <li><a href="https://kaken.nii.ac.jp/">KAKEN - 科学研究費助成事業データベース</a></li> <li><a href="https://irdb.nii.ac.jp/">IRDB - 学術機関リポジトリデータベース</a></li> <li><a href="https://reo.nii.ac.jp/">NII-REO - 電子リソースリポジトリ</a></li> </ul> </li> </ul> </div> </div> </footer> <script type="text/javascript" src="/books/js/customFormControls.js?V240716"></script> <script type="text/javascript" src="/books/js/librarylist_disclosure.js?V180703"></script> <script type="text/javascript"> $(document).ready(function() { sec_defaultClose(); onFilterChanged(); }); if (document.getSelection) { $("span.dstcd, span.ll-volume.vlsr span").on('dblclick', function() { setSelection(this); }); } </script> <script type="text/javascript"> $(document).ready(function() { show_preview(); $(".particular-datalist-cls a,.particular-datalist-sh a").on('click', function() { var href = $(this).attr("href"); href = href.replace(/&sortorder=[0-9]*/, ""); href = href.replace(/&count=[0-9]*/, ""); var count = getSiteSettingValue("bc.", "20"); if(!isNaN(parseInt(count))) { href += "&count=" + count; } var sortorder = getSiteSettingValue("bs.", "3"); if(!isNaN(parseInt(sortorder))) { href += "&sortorder=" + sortorder; } this.href = href; return true; }); }); </script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-5YXF8KWH9K'); // Creates a tracker. //gtag('event', 'page_view', { 'send_to': 'G-5YXF8KWH9K' }); // Sends a pageview. </script></body> </html>

CINXE.COM

CiNii 図書 - CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings