Loading...
Computional linguistics and formal semantics /
Other Authors: | , |
---|---|
Format: | Printed Book |
Language: | English |
Published: |
Cambridge [England] ; New York, N.Y. :
Cambridge University Press,
1992.
|
Subjects: | |
Online Access: | http://www.loc.gov/catdir/description/cam025/92010872.html http://www.loc.gov/catdir/toc/cam024/92010872.html |
LEADER | 01945cam a2200277 a 4500 | ||
---|---|---|---|
008 | 920331s1992 enk b 001 0 eng | ||
010 | |a 92010872 | ||
020 | |a 052141959X | ||
020 | |z 0052142988 (pbk.) | ||
082 | 0 | 0 | |a 410.285 |2 20 |
245 | 0 | 0 | |a Computional linguistics and formal semantics / |c edited by Michael Rosner and Roderick Johnson. |
260 | |a Cambridge [England] ; |a New York, N.Y. : |b Cambridge University Press, |c 1992. | ||
300 | |a xix, 321 p. ; |c 24 cm. | ||
504 | |a Includes bibliographical references (p. 301-321) and index. | ||
505 | 0 | |a 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 interpretation / 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. | |
650 | 0 | |a Computational linguistics. | |
650 | 0 | |a Semantics. | |
700 | 1 | |a Rosner, Michael. | |
700 | 1 | |a Johnson, Roderick. | |
856 | 4 | 2 | |u http://www.loc.gov/catdir/description/cam025/92010872.html |
856 | 4 | 1 | |u http://www.loc.gov/catdir/toc/cam024/92010872.html |
906 | |a 7 |b cbc |c orignew |d 1 |e ocip |f 19 |g y-gencatlg | ||
942 | |2 ddc |c BK | ||
955 | |a pc14 to bc00 04-01-92; bc27 to SCD 04-02-92; fc06 04-06-92; 4-6-92 fk35 to opc; fr21 04-13-92; CIP ver. lg09 11-27-92 to lg11 | ||
999 | |c 364265 |d 364265 | ||
952 | |0 0 |1 0 |2 ddc |4 0 |6 410_285000000000000_COM |7 0 |9 424480 |a SAN |b SAN |c ST1 |d 2021-12-07 |i 8006 |l 1 |o 410.285 COM |p SAN8006 |q 2022-01-06 |r 2021-12-07 |s 2021-12-07 |w 2021-12-07 |y BK |