TY - BOOK AU - Rosner,Michael AU - Johnson,Roderick TI - Computional linguistics and formal semantics SN - 052141959X AV - P 98.5 .S45 C66 1992 U1 - 410/.285 20 PY - 1992/// CY - Cambridge [England], New York, N.Y. PB - Cambridge University Press KW - Computational linguistics KW - Semantics N1 - Includes bibliographical references (p. 301-321) and index; Unification / Martin Kay -- Representations and interpretations / Jens Erik Fenstad, Tore Langholm, Espen Vestre -- Syntactic categories and semantic type / Barbara H. Partee -- Fine-structure in categorial semantics / Johan van Benthem -- Properties, propositions and semantic theory / Raymond Turner -- Algorithms for semantic intrepretation / Per-Kristian Halvorsen -- Situation schemata and linguistic representation / C.J. Rupp, Roderick Johnson, Michael Rosner -- Application-oriented computational semantics / Sergei Nirenburg and Christine Defrise -- Form and content in semantics / Yorick Wilks -- Epilogue, on the relation between computational linguistics and formal semantics / Margaret King UR - http://www.loc.gov/catdir/description/cam025/92010872.html UR - http://www.loc.gov/catdir/toc/cam024/92010872.html ER -