841. Semantics of type theory : correctness, completeness, and independence results
Author: Thomas Streicher,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
Classification :
QA
.
S82
76
.
7
1991


842. Semantics-oriented natural language processing
Author: \ Vladimir A. Fomichov.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processig (computer science),Semantics,پردازش زبان طبیعی,معنیشناسی,a04,a05,a04,a05,Natürliche Sprache.,Semantik.,Sprachverarbeitung.
Classification :
QA
76
.
9
F6S4
2010
E-Book
.


843. Semantics-oriented natural language processing
Author: / Vladimir A. Fomichov
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Natural language processing (Computer science),Semantics.
Classification :
QA
,
76
.
9
,.
N38
,
F66
,
2010


844. Semantics-oriented natural language processing
Author: Vladimir A. Fomichov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Natural language processing (Computer science),Semantics
Classification :
QA76
.
9
.
N38
F66
2010eb


845. Semantics-oriented natural language processing
Author: Vladimir A. Fomichov
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Natural language processing (Computer science),Semantics,Nateurliche Sprache., swd,Semantik., swd,Sprachverarbeitung., swd
Classification :
QA
،
76
.
9
،.
N38
,
F66
،
2010


846. Semantics-oriented natural language processing
Author: / Vladimir A. Fomichov
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Natural language processing (Computer science),Semantics
Classification :
QA
76
.
9
.
N38F66
2010


847. Semantics primes and universals
Author: Anna Wierzbicka
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Semantics,Universals (linguistics),Grammar, comoparative and general,Language and culture
Classification :
P
,
325
.
5
,.
U54W54
,
1996


848. Semantics: primes and universals
Author: Anna Wierzbicka
Library: Central Library of APLL (Tehran)
Subject: ، Semantics,، Universals )linguistics(,، Grammar, comparative and general,، Language and culture
Classification :
P
325
.
5
U54
W54
1996


849. Semantics: studies in the science of meaning
Author: / by Michel Braeal. Translated by Mrs. Henry Cust. With a new introd. by Joshua Whatmough
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
P741
،.
B8
1964


850. Semantics, the study of meaning
Author: Leech
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Semontics
Classification :
P
325
.
L36
1981


851. Semantics vs. pragmatics
Author: edited by Zoltan Gendler Szabo
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Semantics,، Pragmatics
Classification :
P
325
.
S3815


852. Semantics, web and mining
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Semantic Web ; Congresses. ; Data mining ; Congresses. ; Ontologies (Information retrieval) ; Congresses. ;

853. Semantics, web and mining
Author: / Markus Ackermann ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Semantic Web--Congresses,Data mining--Congresses
Classification :
QA
,
76
.
9
,.
D343
,
E98
,
2005


854. Semantics with applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Semantics. ;

855. Semantics with applications
Author: / Hanne Riis Nielson and Flemming Nielson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
N543
,
2007


856. Semantics with applications: a formal introduction
Author: Nielson, Hanne Riis, 4591-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Programming languages )Electronic computers(- Semantics
Classification :
QA76
.
7
.
N541992


857. Situating Semantics : Essays on The Philosophy of John Perry
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Perry, John, 1943-,- .پری، جان، ۳۴۹۱م,O'Rourke, Michael, 1963-,Washington, Corey.
Classification :
CD-B
B
945
.
P454
S58
2007

858. Social Semantics
Author: / Harry Halpin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK

859. Social semantics
Author: Harry Halpin ; foreword by Henry S. Thompson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Natural language processing (Computer science),Semantic computing,Semantic Web
Classification :
TK5105
.
88815
.
H35
2013


860. Social semantics: the search for meaning on the web
Author: Halpin, Harry
Library: Central Library and Documentation Center (Kerman)
Subject: ، Semantic Web,، Semantic computing,، Natural language processing )Computer science(
Classification :
TK
5105
.
88815
.
H35
2013

