Handbook of logic and language

>> Amazon.co.jp

このページのQRコード

Handbook of logic and language

種類:

図書

責任表示:

edited by Johan van Benthem, Alice ter Meulen

出版情報:

Amsterdam : Elsevier
Cambridge, Mass. : MIT Press, 1997

著者名:

ISBN:

9780444817143 [044481714X] (: Elsevier)

9780262220538 [0262220539] (: MIT Press)

注記:

Includes bibliographical references and indexes
'North-Holland' in cover

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

その他の標題:	Handbook of logic & language
主題:	Linquistics; Logic, Symbolic and mathematical; Natural language processing (Computer science); Semantics
分類・件名:	NDC7 : 801 LCSH : Natural language processing (Computer science) LCSH : Logic, Symbolic and mathematical LCSH : Semantics LCSH : Linquistics
LCCN:	96027559
TTLL:	eng
言語:	英語
形態:	xxiii, 1247 p. : ill. ; 25 cm
書誌ID:	BA29199347

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Language in action : categories, lambdas and dynamic logic Benthem, J. F. A. K. van, 1949- North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.	7 電子ブック The handbook of computational linguistics and natural language processing Clark, Alexander, Fox, Chris, Lappin, Shalom., Wiley InterScience (Online service)
2 図書 Representing time in natural language : the dynamic interpretation of tense and aspect Meulen, Alice G. B. ter MIT Press	8 図書 Mathematical logic and theoretical computer science Kueker, D. W., 1943-, Lopez-Escobar, E. G. K. (Edgar G. K.), 1937-, Smith, Carl, 1950-, University of Maryland, College … M. Dekker
3 図書 Handbook of modal logic Blackburn, Patrick, 1959-, Benthem, J. F. A. K. van, 1949-, Wolter, F. (Frank) Elsevier	9 図書 New methods in language processing Jones, D. B. (Daniel B.), 1961-, Somers, H. L. UCL Press
4 図書 Equational logic as a programming language O'Donnell, Michael J. MIT Press	10 図書 The language of logic Freudenthal, Hans, 1905- Elsevier
5 図書 Quantifiers, logic, and language Does, Jaap van der, 1956-, Eijck, J. van (Jan) Center for the Study of Language and Information	11 図書 Meta-logics and logic programming Apt, Krzysztof R., 1949-, Turini, Franco, 1949- MIT Press
6 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	12 図書 Logic for mathematicians Rosser, J. Barkley (John Barkley), 1907- McGraw-Hill