Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 283 results. Subscribe to this search

|
121. TRUTH, INTERPRETATION AND INFORMATION

by Groenendijk, Jeroen | Stokhof, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Description: 182.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 T777] (1).

122. VARITIES OF FORMAL SEMANTICS

by Landman, Fred | Veltman, Frank.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,425.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 V427] (1).

123. ON THE GRAMMAR AND SEMANTICS OF SENTENCE ACCENTS

by Gussenhoven, Carlos.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,352.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 G973o] (1).

124. CONDITIONS ON RULES

by Haan, Ger De.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 229.Publisher: Dordrecht Foris Pub. 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 H111c2] (1).

125. FROM ETYMOLOGY TO PRAGMATICS

by Sweetser, Eve.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,174.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 Sw36f] (1).

126. MASS TERMS AND MODEL THEORETIC SEMANTICS

by Bunt, Harry C.

Material type: book Book Description: xiii,325.Publisher: Cambridge Cambridge Univ. Pr. c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B885m] (1).

127. ESSAYS IN LOGICAL SEMANTICS

by Benthem, Johan Van.

Material type: book Book Description: xi,225.Publisher: Dordrecht D. Reidel c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B445e] (1).

128. MEANING AND GRAMMER

by Chierchia, Gennaro | Mc-Connell-Ginet, Sally.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,476.Publisher: Cambridge Mit Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 C433m] (1).

129. A CONNECTIONIST APPROACH TO WORD SENSE DISAMBIGUATION

by Cottrell, Garrison W.

Material type: book Book Description: xi,220.Publisher: London Pitman c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415.0285 C829c] (1).

130. INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS

by Reichel, Horst.

Material type: book Book; Format: print ; Literary form: not fiction Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).

131. SEMANTICS OF PROGRAMMING LANGUAGES

by Gunter,Carl A.

Material type: book Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).

132. THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

by Winskel,Glynn.

Material type: book Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).

133. FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

by Slonneger,Kenneth | Kurtz,Barry L.

Material type: book Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).

134. Programming logics : an introduction to verification and semantics

by Gumb, Raymond D.

Material type: book Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).

135. FOR TRUTH IN SEMANTICS

by Appiah, Anthony.

Material type: book Book; Format: print ; Literary form: not fiction Description: 186.Publisher: Oxford Basil Blackwell 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 Ap49f] (1).

136. REPRESENTATION MEANING AND THOUGHT

by Gillett, Grant.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,213.Publisher: Oxford Clarendon Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.68 G413r] (1).

137. ALGEBRAIC THEORY OF PROCESSES

by Hannesay, Matthew.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).

138. LINGUISTICS SEMANTICS

by Lyons,John.

Material type: book Book Description: xvi,376.Publisher: Cambridge Univ. Press, Cambridge c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 L989L] (1).

139. COMING TO OUR SENSES

by Devitt,Michael.

Material type: book Book Description: x,338.Publisher: Cambridge Univ. Press, Cambridge c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.68 D496C] (1).

140. FICTIONAL WORLDS

by Pavel, Thomas G.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,178.Publisher: Cambridge Harvard Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 801.953 P288f] (1).

Powered by Koha