引用

提供: miniwiki
移動先:案内、検索

「自動定理証明」の書誌情報

各種方式による「自動定理証明」の書誌表示

APA方式

自動定理証明. (2018年8月19日08:19). miniwiki, . 2024年12月28日00:44 http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375 にて閲覧.

MLA方式

"自動定理証明." miniwiki, . 2018年8月19日08:19 (UTC). 2024年12月28日00:44 <http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375>.

MHRA方式

miniwikiへの寄稿者ら, '自動定理証明', miniwiki, ,2018年8月19日 (UTC), <http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375> [2024年12月28日閲覧]

Chicago方式

miniwikiへの寄稿者ら, "自動定理証明," miniwiki, , http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375 (2024年12月28日閲覧).

CBE/CSE方式

miniwikiへの寄稿者ら. 自動定理証明 [Internet]. miniwiki, ; 2018年8月19日08:19 (UTC) [2024年12月28日現在で引用]. 入手元: http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375.

Bluebook方式

自動定理証明, http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375 (2024年12月28日最終訪問).

BibTeXエントリ

 @misc{ wiki:xxx,
   author = "miniwiki",
   title = "自動定理証明 --- miniwiki{,} ",
   year = "2018",
   url = "http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375",
   note = "[オンライン; 閲覧日時 2024-28-12]"
 }

URIの体裁を整えるためにLaTeXの url パッケージを用いる (プリアンブルのどこかに \usepackage{url} と書く) 場合は、以下のようにした方がいいかもしれません。 

 @misc{ wiki:xxx,
   author = "miniwiki",
   title = "自動定理証明 --- miniwiki{,} ",
   year = "2018",
   url = "\url{http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E&oldid=110375}",
   note = "[オンライン; 閲覧日時 2024-28-12]"
 }








「http:///http:///mymemo.xyz/mymemo.xyz/wiki/特別:このページを引用」から取得