Limit Search Results
Author
SpringerLink (Online service)
(240)
Wiley InterScience (Online service)
(15)
Spaccapietra, Stefano. editor.
(14)
Project Muse.
(10)
Gelbukh, Alexander. editor.
(5)
Language
Publication Date
-
Subject
Semantics.
(100)
Computer science.
(64)
Artificial intelligence.
(58)
Information storage and retrieval systems.
(37)
Database management.
(35)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
374 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Journal on Data Semantics IV
Journal on Data Semantics IV
Author 
Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11603412
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Journal on Data Semantics III
Journal on Data Semantics III
Author 
Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137098
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Service-oriented computing semantics, processes, agents
Service-oriented computing semantics, processes, agents
Author 
Singh, Munindar P. (Munindar Paul), 1964- Huhns, Michael N. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
John Wiley http://dx.doi.org/10.1002/0470091509
http://www3.interscience.wiley.com/cgi-bin/bookhome/112410630
Books24x7 http://www.books24x7.com/marc.asp?bookid=11288
Wiley InterScience - Full text online http://onlinelibrary.wiley.com/book/10.1002/0470091509
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Formal semantics the essential readings
Formal semantics the essential readings
Author 
Portner, Paul. Partee, Barbara H. (Barbara Hall) Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470758335
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Indeterminate identity metaphysics and semantics
Indeterminate identity metaphysics and semantics
Author 
Parsons, Terence.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198250449.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Structuring events a study in the semantics of lexical aspect
Structuring events a study in the semantics of lexical aspect
Author 
Rothstein, Susan Deborah. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470759127
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Compositionality in formal semantics selected papers of Barbara Partee
Compositionality in formal semantics selected papers of Barbara Partee
Author 
Partee, Barbara Hall. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470751305
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Semantics of Probabilistic Processes An Operational Approach
Semantics of Probabilistic Processes An Operational Approach
Author 
Deng, Yuxin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45198-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols
Author 
Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78636-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Taking scope the natural semantics of quantifiers
Taking scope the natural semantics of quantifiers
Author 
Steedman, Mark. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Mere possibilities : metaphysical foundations of modal semantics
Mere possibilities : metaphysical foundations of modal semantics
Author 
Stalnaker, Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sd1g
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action