本文に飛ぶ

年 〜
年

検索結果 37 件

Representations of algebras and Kripke completeness of infinitary and predicate logics

Representations of algebras and Kripke completeness of infinitary and predicate logics
紙デジタル博士論文障害者向け資料あり
Yoshihito Tanaka [著][Yoshihito Tanaka][1999]<UT51-99-Q204>
インターネットで読める国立国会図書館

Hyperdoctrinal semantics for non-classical predicate logics

Hyperdoctrinal semantics for non-classical predicate logics
紙デジタル博士論文障害者向け資料あり
白須裕之 [著]<UT51-97-L494>
インターネットで読める国立国会図書館
  • 目次・記事... Semantics for predicate logics 1.2 Substruct......s 5 Duality in predicate logics 5.1 Hyperdoct......ults 5.5 Modal predicate logics 6 Glueing methods 6.1 Gluein...

Studies on intermediate predicate logics and intuitionistic modal logics

Studies on intermediate predicate logics and intuitionistic modal logics
紙デジタル博士論文障害者向け資料あり
鈴木信行 [著]<UT51-90-E511>
インターネットで読める国立国会図書館

The integration of predicate logic and relational database

The integration of predicate logic and relational database
紙デジタル博士論文障害者向け資料あり
郭淑敏 [著]<UT51-89-Q244>
インターネットで読める国立国会図書館

Study on a natural language parser based on predicate logic

Study on a natural language parser based on predicate logic
紙博士論文
上原邦昭 [著]<UT51-59-F525>
国立国会図書館

A study on design and implementation of a database system based on predicate logic

A study on design and implementation of a database system based on predicate logic
紙博士論文
宇田川佳久 [著]<UT51-57-M196>
国立国会図書館

Predicate logic

Predicate logic
紙図書
Peter A. Fejer & Dan A. SimoviciWorld Scientific2025
全国の図書館

A study of intermediate predicate logics

A study of intermediate predicate logics
紙博士論文
小野寛晰 [著]<UT51-48-E582>
国立国会図書館

項列二項義務論理と常識的様相述語論理の証明論的研究

項列二項義務論理と常識的様相述語論理の証明論的研究
デジタル博士論文障害者向け資料あり
澤崎, 高広Hokkaido University2021-09-24
インターネットで読める国立国会図書館全国の図書館
  • 並列タイトル等（連結）...on Sense Modal Predicate Logic
  • 並列タイトル等...on Sense Modal Predicate Logic

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-PR

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-PR
紙規格・テクニカルリポート類
Mattison, R1969<M-RAND/RM-5580-PR>
国立国会図書館

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-1-PR

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-1-PR
紙規格・テクニカルリポート類
Mattison, R1969<M-RAND/RM-5580-1-PR>
国立国会図書館

深層学習を用いた一階述語論理による推論に関する研究 (本文)

深層学習を用いた一階述語論理による推論に関する研究 (本文)
デジタル博士論文障害者向け資料あり
本田, 裕慶應義塾大学大学院理工学研究科2022-03-23
国立国会図書館
  • 並列タイトル等（連結）...th first-order predicate logic using deep learning
  • 並列タイトル等...th first-order predicate logic using deep learning

Predicate logic

Predicate logic
紙図書
Richard L. EpsteinOxford University Press1994
全国の図書館

Aristotle's modal proofs : Prior analytics A8-22 in predicate logic : softcover

Aristotle's modal proofs : Prior analytics A8-22 in predicate logic : softcover
紙図書
Adriane RiniSpringerc2011
全国の図書館

Switching theory : insight through predicate logic : softcover

Switching theory : insight through predicate logic : softcover
紙図書
Shimon P. VingronSpringerc2004
全国の図書館

Switching theory : insight through predicate logic

Switching theory : insight through predicate logic
紙図書
Shimon P. VingronSpringerc2004
全国の図書館

Introduction to logic : predicate logic 2nd ed

Introduction to logic : predicate logic 2nd ed
紙図書
Howard Pospesel ; with an appendix on metatheory by William G. LycanPrentice Hallc2003
全国の図書館

The logic system of concept graphs with negation : and its relationship to predicate logic

The logic system of concept graphs with negation : and its relationship to predicate logic
紙図書
Frithjof DauSpringerc2003
全国の図書館

Representations of algebras and Kripke completeness of infinitary and predicate logics

Representations of algebras and Kripke completeness of infinitary and predicate logics
紙図書
by Yoshihito TanakaYoshihito Tanaka1999.3
全国の図書館

Hyperdoctrinal semantics for non-classical predicate logics

Hyperdoctrinal semantics for non-classical predicate logics
紙図書
Shirasu, HiroyukiShirasu, Hiroyuki1997.2
全国の図書館
RSS