Report (Center for the Study of Language and Information (U.S.))

• 関連文献: 158件

Report (Center for the Study of Language and Information (U.S.))

Center for the Study of Language and Information/SRI International

• WorldCat

関連文献: 158件中  141-158を表示

• 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館

• 1
• ...
• 3
• 4
• 5
• 6
• 7
• 8
• 8 / 8