述語論理と論理プログラミング

1988年のテキスト本です。
オーム社
紙は色あせ、経年劣化してますが、書き込み無く綺麗です。
商品の情報
カテゴリー
本・音楽・ゲーム > 本 > コンピュータ/IT
商品の状態
目立った傷や汚れなし
2375円述語論理と論理プログラミング本・音楽・ゲーム本宣言型プログラミングの可能性と限界 | Think IT（シンクイット）

述語論理と論理プログラミング (知識工学講座)


述語論理と論理プログラミング (知識工学講座)


述語論理と論理プログラミング (知識工学講座) | 節夫, 有川, 誠, 原口


入門】述語論理とは。命題論理との違いも解説【日本一わかりやすい


2023年最新】述語論理の人気アイテム - メルカリ


述語論理・入門 基礎からプログラムの理論へ/上江洲忠弘／著 本


入門】述語論理とは。命題論理との違いも解説【日本一わかりやすい


プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚


プログラマのための述語論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)


述語論理と論理プログラミングの通販/有川 節夫/原口 誠 - 紙の本


述語論理と論理プログラミング


帰納論理プログラミング - 共立出版


日本国憲法を論理プログラミング言語で表記し、Q＆A方式で分かりやすく


宣言型プログラミングの可能性と限界 | Think IT（シンクイット）


形式言語、論理式、文とは：公理的集合論に向けて | 趣味の大学数学


述語論理と論理プログラミング / 有川 節夫/原口 誠【共著


プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚.


情報学基礎A


述語論理と論理プログラミング (知識工学講座)(節夫 有川) / ノース


述語論理をやろうず - Qiita


Prolog でわかる TAPL 2日目 - 一階述語論理とProlog、MBNF - Qiita


2023年最新】述語論理の人気アイテム - メルカリ


証明プログラミング入門2


core logicで論理プログラミングとかやってみた。 - Qiita


∀, ∃がある式の読み方】うさぎでもわかる離散数学 第3羽 述語論理の


Elxlog 論理プログラミングと関数プログラミングの融合 - Qiita


日本国憲法を論理プログラミング言語で表記し、Q＆A方式で分かりやすく


述語論理と論理プログラミング 原口 誠(著/文) - オーム社 | 版元


楽天ブックス: Prologで学ぶAIプログラミング - 「論理プログラミング


論理プログラミング - Wikipedia


論理プログラミングつぶやき - kibayos日記


激安先着述語論理と論理プログラミング コンピュータ | endageism.com


証明プログラミング入門2


Goで論理プログラミング


数理論理学(平成29年度)関連情報


論理プログラム(Prolog)のコツ | 工業大学生ももやまのうさぎ塾


Prolog言語で論理プログラミング入門・Prologのインストール方法


帰納論理プログラミング/古川康一 本・漫画やDVD・CD・ゲーム、アニメ


証明プログラミング入門2


述語論理のモデル論：モデルと解釈 – 情報論理学2023