عنوان
پدید آورنده
موضوع
رده
QA76,.7 .E43 2010
QA76
,.
7
.
E43
2010
کتابخانه
محل استقرار
IR
999363
انگلیسی
IR
Computational Semantics with Functional Programming
[Book]
/ Jan Van Eijck and Christina Unger
Cambridge; New York
: Cambridge University Press
, 2010
xv, 405 p.
: ill.
The E.Book format of This Book is avalable
Print
Bibliography
Index
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
Programming languages (Electronic computers) -- Semantics
Functional programming (Computer science)
Haskell (Computer program language)
زبان های برنامهنویسی کامپیوتر -- معنی شناسی
زبان های برنامه نویسی تابعی (علوم کامپیوتر)
هسکل (زبان برنامه نویسی کامپیوتر)
QA76
,.
7
.
E43
2010
Eijck, Jan Van
Unger, Christina
ایران
Library of Foreign Languages and Islamic resource
20190609
old catalog
p
BL
270410
1
a
Y
