Search results 16,999
Paper図書児童書
National Diet LibraryOther Libraries in Japan
- Author introduction... Non-Classical Logic(2001), Doubt Truth to be a Li...
- Authority(Subject Heading/altLabel)形式論理学 Logic
- Note (General)原タイトル: LOGIC 原著第2版の翻訳
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)形式論理学 Logic
- Note (General)原タイトル: Logic
- Additional TitleLogic
Paper図書児童書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)形式論理学 Logic
- Note (General)原タイトル: Logic
- Additional TitleLogic
Paper図書
National Diet Library
- Summary, etc.... substructural logics. Chapters, wr......bra, algebraic logic and the Full L......ract algebraic logic, topological dualities, a...... substructural logics, results on t...... non-classical logic
- Contents... non-classical logics (James G. Raf......ract algebraic logic An introductor......Chapter 4. Topological duality and ......and separation logic (Peter Jipsen ......ties of linear logic (Robert Goldbl......iate predicate logic (Nobu-Yuki Suz...... substructural logics (Jacopo Amidei, Rodolfo C. E...
- Subject HeadingLogic, Symbolic and mathematical On...
Paper雑誌
National Diet Library
- Replacesびょうりのバスケット (ISSN:0918-4767) Histo-logic (ISSN:0919-262X)
- Key TitleHisto-logic Japan
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....用などの機能は使用できません。Logic Pro 10.8での音楽制作......ますます増強されたApple Logic Pro10.8が有する各種機......て活用していただけます。本書でLogic Pro10.8のポテンシャル......UG INSAPPENDIX Logic Pro 10.8での音楽制作に欠かせない100以上の操作を...
- Author introduction...グレコード)など。執筆では、『Logic Pro 10.8徹底操作ガイド』『ポピュラー音楽作曲のため...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....ve look at the Logical Investigatio......f the phenomenological field, and c......y and the teleological character of our existence....
- Contents...Chapter 2. Ontological Dualism : Th....... The Phenomenological Reduction and the Transform...
- Related MaterialPhaenomenologica
Recording Media録音資料
National Diet Library
- Contents(1)いけないfool logic(TVアニメ『鴨乃橋ロンの禁断推理』オープニング主題歌)(2...
Recording Media録音資料
National Diet Library
- Alternative Title学校用音声CD Mainstream English logic and expression Ⅰ
- Alternative Title学校用音声CD Mainstream English logic and expression Ⅰ
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents...ic analysis of logical properties M...... substructural logics Deducibility ......II: Algebra in Logic. From algebra to logic Basics of algebraic logic Logics and varieties Residuated str...
- Subject HeadingProof theory Algebraic logic
- Related MaterialShort textbooks in logic
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.... Philosophical Logic, held in Beiji......opics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosop......foundations of logic. They also ref......nary nature of logic - a subject th......evelopments in logic both in Asia and beyond.
- Contents...translation in logics for knowabili......ynamic quantum logic Sequent calcul......al fact change logic The modal logics of the poison game A logical characteriza......ity of a modal logic with predicate......Unary temporal logics, points and intervals The Ze...
- Subject HeadingLogic--Congresses. Logic.
Digital博士論文障害者向け資料あり
National Diet Library
- Alternative TitleOn Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に...
- Alternative TitleOn Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に...
Paper図書
National Diet Library
- Alternative TitleEye hair design logic × visual
- Alternative TitleEye hair design logic × visual