検索結果 9 件
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. Informal moti...... Formal syntax and semantics ; The origin of hybrid logic in prior's wor......since prior Proof-theory of propositional hybrid logic. The basics of natural deduct......itional hybrid logic ; The basics of Gentzen system......itional hybrid logic ; Axiom system......itional hybrid logic Tableaus and decision proce......res for hybrid logic. The basics of tableau system......ion Comparison to Seligman's nat...... ; Translation to Seligman-style......s for a hybrid logic. The natural d......onsideration ; Introduction to functional com......t-order hybrid logic. Introduction to first-order ...
- 件名Proof theory. Logic, Symbolic and mathematical.
- 関連情報Applied logic series
紙図書
国立国会図書館
- 要約等Description logics are a family of knowledge repr......-based systems and are used to develop variou......orough account of the subject.
- 内容細目An introduction to description logics / D. Nardi and R.J. Brachman ......ic description logics / F. Baader and W. Nutt Complexity of reasoning / F....... D. Calvanese, and R. Molitor Expressive description logics / D. Calvanese and G. De Giacomo Extensions to description logics / F. Baader, R. Küsters, and F. Wolter From description logic provers to knowledge repr.......L. McGuinness and P.F. Patel-Sch......er Description logic systems / R. Möller and V. Haarslev Implementation and optimization t......th description logics / A. Borgida and R.J. Brachman Software engineeri......matics / A. Rector OWL : a description-logic-ba...
- 件名Description logics -- Handbooks, manuals, etc. Terminolo...
紙図書
全国の図書館
- 一般注記...r the language of science
- 関連情報Studies in linguistics and philosophy
- 掲載誌Studies in linguistics and philosophy
紙図書
全国の図書館
- 関連情報Studies in linguistics and philosophy
- 掲載誌Studies in linguistics and philosophy
紙図書
全国の図書館
- 一般注記Bibliography: p. 691-699 Includes indexes The cover publisher: Kluwer the language of science
- 関連情報Studies in linguistics and philosophy
- 掲載誌Studies in linguistics and philosophy
紙図書
全国の図書館
- 一般注記...rs in 1993", "Softcover reprint of the hardcover ......s (p. 691-699) and indexes
- 関連情報Studies in linguistics and philosophy
- 掲載誌Studies in linguistics and philosophy
紙図書
全国の図書館
- 一般注記"This is a faithful and accurate reproduction of the original e......roduced 'on-demand' in a single copy" -- back co...
- 関連情報Studies in linguistics and philosophy
- 掲載誌Studies in linguistics and philosophy
紙図書
全国の図書館
- 一般注記Introduction to semantics and Formalization of logic.
紙図書
全国の図書館
- 件名Semantics (Philosophy) Logic, Symbolic and mathematical.
- 件名(識別子)Semantics (Philosophy) Logic, Symbolic and mathematical.
- 一般注記... published as "Introduction to semantics." (Harvard U.P., 1942) and "Formalization of logic." (Harvard U.P......bibliographies and indexes
検索結果は以上です。