عنوان
پدید آورنده
موضوع
رده
QA76,.7 .E43 2010
QA76
,.
7
.
E43
2010
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
999363
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational Semantics with Functional Programming
General Material Designation
[Book]
First Statement of Responsibility
/ Jan Van Eijck and Christina Unger
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge; New York
Name of Publisher, Distributor, etc.
: Cambridge University Press
Date of Publication, Distribution, etc.
, 2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 405 p.
Other Physical Details
: ill.
GENERAL NOTES
Text of Note
The E.Book format of This Book is avalable
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
EXTERNAL INDEXES/ABSTRACTS/REFERENCES NOTE
Name of source
Index
CONTENTS NOTE
Text of Note
Formal study of natural language.- Lambda calculus, types, and functional programming.- Functional programming with Haskel.- Formal syntax for fragment.- Formal semantics for fragments.- Model checking with predicate logic.- The composition of meaning in natural languag.- Extension and intensio.- Parsin.- Handling relations and scoping.- Continuation passing style semantics.- Discourse representation and contex.- Communication as informative action
0
TOPICAL NAME USED AS SUBJECT
Programming languages (Electronic computers) -- Semantics
Functional programming (Computer science)
Haskell (Computer program language)
زبان های برنامهنویسی کامپیوتر -- معنی شناسی
زبان های برنامه نویسی تابعی (علوم کامپیوتر)
هسکل (زبان برنامه نویسی کامپیوتر)
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
,.
7
Book number
.
E43
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Eijck, Jan Van
PERSONAL NAME - SECONDARY RESPONSIBILITY
Unger, Christina
ORIGINATING SOURCE
Country
ایران
Agency
Library of Foreign Languages and Islamic resource
Date of Transaction
20190609
old catalog
p
BL
270410
1
a
Y
