著者
書誌事項
Report (Center for the Study of Language and Information (U.S.))
Center for the Study of Language and Information/SRI International
この図書・雑誌をさがす
-
1
- What brain for God's-eye? : objectivism, biological naturalism and searle
-
Rafael E. Núốez
Center for the Study of Language and Information (CSLI) c1995 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-95-194
所蔵館1館
-
2
- Modal foundations for predicate logic
-
Johan van Benthem
Center for the Study of Language and Information 1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-191
所蔵館1館
-
3
- Cut-elimination and normal forms of sequent derivations
-
Grigori Mints
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-193
所蔵館2館
-
4
- Layered formalism and zooming in the analysis of stylized documents
-
Keith Devlin and Duska Rosenberg
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-189
所蔵館2館
-
5
- Bias in computer systems
-
Batya Friedman and Helen Nissenbaum
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-188
所蔵館2館
-
6
- Networked information flow via stylized documents
-
Keith Devlin and Duska Rosenberg
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-187
所蔵館2館
-
7
- Presuppositions and dynamic logic
-
Jan van Eijck
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-186
所蔵館2館
-
8
- Take users seriously, but take a deeper look : organizational and technical effects from designing with an intervention and ethnographically inspired approach
-
Jesper Simonsen and Finn Kensing
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-185
所蔵館2館
-
9
- Information spreading and levels of representation in LFG
-
Avery D. Andrews & Christopher D. Manning
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-176
所蔵館1館
-
10
- Richly grounding symbols in ASL
-
Elizabeth Macken, John Perry, and Cathy Haas
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-180
所蔵館2館
-
11
- Program constructions that are safe for bisimulation
-
Johan van Benthem
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-179
所蔵館2館
-
12
- The expressive power of modalized purely implicational calculi
-
Max I. Kanovich
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-184
所蔵館2館
-
13
- Translation methods for non-classical logics : an overview
-
Hans Jürgen Ohlbach
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-183
所蔵館2館
-
14
- Communicative indexing in network resource discovery systems
-
Clarisse de Souza
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-182,
PCD-7 所蔵館2館
-
15
- Completeness and decidability of the mixed style of inference with composition
-
Makoto Kanazawa
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-181
所蔵館2館
-
16
- What's new? A semantic perspective on sentence accent
-
Kees van Deemter
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-178
所蔵館2館
-
17
- Epsilon substitution method for elementary analysis
-
Grigori Mints and Sergei Tupailo
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-175
所蔵館2館
-
18
- Situation theory and the design of interactive information systems
-
Keith Devlin
Center for the Study of Language and Information (CSLI) c1992 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-92-171
所蔵館1館
-
19
- An architecture for tuning rules by cases
-
Yoshio Nakatani and David Israel
Center for the Study of Language and Information (CSLI) c1992 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-92-173
所蔵館1館
-
20
- Types, tokens and templates
-
David M. Levy and Kenneth R. Olson
Center for the Study of Language and Information (CSLI) c1992 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-92-168
所蔵館1館
