1.
Geometry and meaning
by Widdows, D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2004Availability: Items available for loan: [Call number: 516 WID] (1).
2.
Flexible semantics for reinterpretation phenomena
by Egg, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2005Availability: Items available for loan: [Call number: 401.430285 EGG] (1).
3.
Euclid and his twentieth century rivals: Diagrams in the logic of Euclidean geometry
by Miller, N.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2007Availability: Items available for loan: [Call number: 516.2 MIL] (1).
4.
English syntax: An introduction
by Kim, J-B.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2008Availability: Items available for reference: [Call number: 425 KIM (Ref.)] (1).
5.
Efficient processing with constraint-logic grammars using grammar compilation
by Minnen, G.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2001Availability: Items available for loan: [Call number: 005.115 MIN] (1).
6.
Conversation and community: Chat in a virtual world
by Cherny, L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 1999Availability: Items available for loan: [Call number: 302.23 CHE] (1).
7.
After Euclid visual reasoning and the epistemology of diagrams
by Norman, J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2006Availability: Items available for loan: [Call number: 160 NOR] (1).
8.
Translating the untranslatable: A solution to the problem of generating english determiners
by Bond, F.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2005Availability: Items available for loan: [Call number: 418.020285 BON] (1).
9.
Things a computer scientist rarely talks about
by Knuth, D. E.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2001Availability: Items available for loan: [Call number: 261.5 KNU] (1).
10.
The significance of word lists
by Kessler, B.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2001Availability: Items available for loan: [Call number: 417.7 KES] (1).
11.
Representation and invariance of scientific structures
by Suppes, P.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2002Availability: Items available for loan: [Call number: 501 SUP] (1).
12.
Representation and inference for natural language: A first course in computational semantics
by Blackburn, P.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2005Availability: Items available for loan: [Call number: 401.430285 BLA] (1).
13.
Reflection in rewriting logic: Metalogical foundations and metaprogramming applications
by Clavel, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2000Availability: Items available for loan: [Call number: 005.131 CLA] (1).
14.
The philosophical status of diagrams
by Greaves, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2002Availability: Items available for loan: [Call number: 160 GRE] (1).
15.
Open-domain question answering from large text collections
by Pasca, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2003Availability: Items available for loan: [Call number: 410.285 PAS] (1).
16.
Normalization, cut-elimination and the theory of proofs
by Ungar, A. M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 1992Availability: Items available for loan: [Call number: 511.36 UNG] (1).
17.
Mathematical reasoning with diagrams: From intuition to automation
by Jamnik, M. J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 2001Availability: Items available for loan: [Call number: 511.3 JAM] (1).
18.
Logics of time and computation
by Goldblatt, R.
Edition: 2nd ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications 1992Availability: Items available for loan: [Call number: 160 GOL] (1).
19.
Learnable classes of categorial grammars
by Kanazawa, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford CSLI Publications/FoLLI 1998Availability: Items available for loan: [Call number: 415 KAN] (1).
20.
Broken ballots: Will you vote count?
by Jones, D. W | Simons, B.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: California CSLI Publications 2012Availability: Items available for loan: [Call number: 324.650973 JON] (1).