Author(s)
Bibliographic Information
Report (Center for the Study of Language and Information (U.S.))
Center for the Study of Language and Information/SRI International
Search this Book/Journal
-
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
Available at 3 libraries
-
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
Available at 3 libraries
-
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
Available at 2 libraries
-
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
Available at 1 libraries
-
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
Available at 1 libraries
-
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
Available at 3 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 1 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 2 libraries
-
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
Available at 1 libraries
