著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
Symposium on Logic in Computer Science and IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing and Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) and Vrije Universiteit te Amsterdam and Association for Computing Machinery and Association for Symbolic Logic and European Association for Theoretical Computer Science	Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands		IEEE Computer Society Press	1991			081862230X,0818622326,0818622318		https://ci.nii.ac.jp/ncid/BA1313733X
</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/BA1313733X.tsv">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BA1313733X.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>