「Guarded Horn Clauses」の変更履歴

このページの記録を表示 (編集フィルター記録を閲覧)

版の絞り込み表示隠す

この日まで:

タグ絞り込み:

選択したものを除く

差分を表示するには比較したい版のラジオボタンを選択し、エンターキーを押すか、下部のボタンを押します。
凡例: (最新) = 最新版との比較、(前) = 直前の版との比較、m = 細部の編集、日時は個人設定で未設定ならUTC

最新前 13:162023年9月5日 (火) 13:16‎ Bcxfubot 会話投稿記録‎ m 13,293バイト +3‎ 外部リンクの修正 http:// -> https:// (waseda.ac.jp) (Botによる編集) 取り消し

最新前 23:022020年7月5日 (日) 23:02‎ Cewbot 会話投稿記録‎ m 13,290バイト +72‎ Bot作業依頼: sourceタグをsyntaxhighlightタグに置換 (Category:非推奨のsourceタグを使用しているページ) - log 取り消し

最新前 13:482019年10月16日 (水) 13:48‎ にこかん会話投稿記録‎ 13,218バイト +47‎ 編集の要約なし取り消し

最新前 05:412014年7月6日 (日) 05:41‎ Phw 会話投稿記録‎ m 13,171バイト +26‎ リンク切れ対応取り消し
最新前 03:222014年7月6日 (日) 03:22‎ Phw 会話投稿記録‎ m 13,145バイト −17‎ リンク切れ対応取り消し

最新前 03:292011年4月10日 (日) 03:29‎ 118.19.70.12 会話‎ 13,162バイト −33‎ 編集の要約なし取り消し

最新前 13:352010年2月15日 (月) 13:35‎ Phw 会話投稿記録‎ m 13,195バイト +69‎ リンク追加のみ取り消し

最新前 02:552010年2月11日 (木) 02:55‎ 61.86.183.175 会話‎ 13,126バイト +16‎ →‎KL1 取り消し

最新前 04:282010年1月28日 (木) 04:28‎ Phw 会話投稿記録‎ m 13,110バイト +8‎ 編集の要約なし取り消し

最新前 05:242010年1月27日 (水) 05:24‎ Phw 会話投稿記録‎ m 13,102バイト +3‎ ずれた表示を修正(テーブルにすればいいのですが...) 取り消し

最新前 03:032010年1月26日 (火) 03:03‎ Kyube 会話投稿記録‎ m 13,099バイト +13‎ typo.そのうちガード付きホーン節も何らかの形で作られるのかな? 取り消し
最新前 02:532010年1月26日 (火) 02:53‎ Phw 会話投稿記録‎ 13,086バイト +13,086‎ ←新しいページ: '{{Infobox プログラミング言語 |名前 = Guarded Horn Clauses |パラダイム = 並行論理プログラミング |登場時期 = 1985年 |設計者 =...'

「https://ja.wikipedia.org/wiki/Guarded_Horn_Clauses」から取得