上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Formal languages Semantics)
該当件数:5件
Algebraic semantics / Irène Guessarian
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 99)
図書 <1000586773>
Computing meaning / edited by Harry Bunt, Reinhard Muskens and Elias Thijsse
v. 1 - v. 3 : hbk. - Dordrecht : Kluwer Academic Publishers , c1999-2001. - Berlin : Springer Netherland , c2007. - (Studies in linguistics and philosophy ; v. 73, 77, 83)
図書 <1001359676>
Introduction to Montague semantics / by David R. Dowty, Robert E. Wall, and Stanley Peters
: pbk. - Dordrecht, Holland ; Boston ; Hingham, MA : D. Reidel Pub. Co. : sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc. , c1981. - (Synthese language library ; v. 11)
図書 <1000603371>
Problems, functions and semantic roles : a pragmatist's analysis of Montague's theory of sentence meaning / E.M. Barth and R.T.P. Wiche
: gw,: us. - Berlin ; New York : de Gruyter , 1986. - (Grundlagen der Kommunikation = Foundations in communication)
図書 <1000607612>
Studies in formal semantics : intensionality, temporality, negation / editors, Franz Guenthner, Christian Rohrer
Amsterdam : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (North-Holland linguistic series ; 35)
図書 <1000615781>