著者
書誌事項
Report (Center for the Study of Language and Information (U.S.))
Center for the Study of Language and Information/SRI International
この図書・雑誌をさがす
-
141
- On the axiomatization of "if-then-else"
-
by Irène Guessarian and José Meseguer
Center for the Study of Language and Information c1985 Report (Center for the Study of Language and Information (U.S.)) Report No. CSLI-18-20
所蔵館3館
-
142
- The situation in logic-III : situations, sets and the axiom of foundation
-
Jon Barwise
Center for the Study of Language and Information, 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-85-26
所蔵館3館
-
143
- The Center for the Study of Language and Information
-
Center for the Study of Language and Information (CSLI) c1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-16
所蔵館2館
-
144
- Coordination and how to distinguish categories
-
by Ivan A. Sag...[et al.]
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-3
所蔵館1館
-
145
- A simple and efficient implementatin of higher-order functions in LISP
-
by Michael P. Georgeff and Stephen F. Bodnar
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-19
所蔵館1館
-
146
- On the mathematical properties of linguistic theories
-
by C. Raymond Perrault
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-18
所蔵館3館
-
147
- Moving the semantic fulcrum
-
Terry Winograd
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-17
所蔵館2館
-
148
- Completeness of many-sorted equational logic
-
by J.A. Goguen and J. Meseguer
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-15
所蔵館2館
-
149
- Shifting situations and shaken attitudes
-
Jon Barwise and John Perry
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-13
所蔵館1館
-
150
- Parameterized programming
-
by Josph Goguen
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-10
所蔵館2館
-
151
- The implementation of procedurally reflective languages
-
by Jim des Rivières and Brian Cantwell Smith
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-9
所蔵館2館
-
152
- Reflection and semantics in LISP
-
by Brian Cantwell Smith
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-8
所蔵館2館
-
153
- Self-propagating search : a unified theory of memory
-
by Pentti Kanerva
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-7
所蔵館2館
-
154
- Lessons from Bolzano
-
by Johan van Benthem
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-6
所蔵館2館
-
155
- Equality, types, modules and generics for logic programing
-
by Joseph A. Goguen and José Meseguer
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-5
所蔵館2館
-
156
- Belief and incompleteness
-
by Kurt Konolige
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-4
所蔵館2館
-
157
- Coodination and how to distinguish categories
-
by Ivan A. Sag ... [et al.]
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-3
所蔵館2館
-
158
- The situation in logic I
-
by Jon Barwise
Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-2
所蔵館1館
