著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
Workshop on Logic, Language, Information and Computation and Libkin, Leonid and Kohlenbach, Ulrich and Queiroz, Ruy de	Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings		Springer	2013	Lecture notes in computer science	8071 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues	9783642399916		https://ci.nii.ac.jp/ncid/BB14738740
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BB14738740.tsv">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BB14738740.tsv" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>