Result Page   1 2 3 Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
美國國會圖書館分類號 (1-50 之 112)
Q 335 R425
1
 

Principles of OBJ2

Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-22    在架上    HPW0055570
2
 

Restrictive and non-restrictive modification
Sells, Peter
Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-28    在架上    HPW0055571
3
 

Moving the semantic fulcrum
Winograd, Terry
Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 1984
 
1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-17    在架上    HPW0055572
4
 

An internal semantics for modal logic : preliminary report
Fagin, Ronald
Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-25    在架上    HPW0055573
5
 

A complete, type-free "second-order" logic and its philosophical foundations
Menzel, Christopher
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-40    在架上    HPW0055575
6
 

Possible-world semantics for autoepistemic logic
Moore, Robert C., 1948-
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no. 85-41    在架上    HPW0055576
7
 

Radical lexicalism
Karttunen, Lauri
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no. 86-68    在架上    HPW0055577
8
 

The coherence of incoherent discourse
Hobbs, Jerry R
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no. 85-38    在架上    HPW0055578
9
 

Finite state morphology : a review of Koskenniemi (1983)
Gazdar, Gerald
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-32    在架上    HPW0055579
10
 

The x-bar theory of phrase structure
Kornai, András
Menlo Park, CA : CSLI/SRI International, 1989
 
1989
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.89-137    在架上    HPW0055581
11
 

Deduction with many-sorted rewrite
Meseguer, José
Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-42    在架上    HPW0055582
12
 

An algorithm for generating quantifier scopings
Hobbs, Jerry R
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-49    在架上    HPW0055600
13
 

On some formal properties of metarules
Uszkoreit, Hans
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-43    在架上    HPW0055601
14
 

Shifting situations and shaken attitudes
Barwise, Jon
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1984
 
1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-13    在架上    HPW0055602
15
 

Querying logical databases
Vardi, Moshe
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-23    在架上    HPW0055604
16
 

Applicability of indexed grammars to natural languages
Gazdar, Gerald
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-34    在架上    HPW0055605
17
 

The connectionist construction of concepts
Cussins, Adrian
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1990
 
1990
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.90-140    在架上    HPW0055606
18
 

Discourse, anaphora and parsing
Johnson, Mark
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-63    在架上    HPW0055607
19
 

Self-propagating search : a unified theory of memory
Kanerva, Pentti
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1984
 
1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-7    在架上    HPW0055608
20
 

On the axiomatization of "if-then-else"
Guessarian, Irène
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-20    在架上    HPW0055603
21
 

A sheaf-theoretic model of concurrency
Monteiro, Luis F
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-62    在架上    HPW0055609
22
 

Linear precedence in discontinuous constituents : complex fronting in German
Uszkoreit, Hans
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-47    在架上    HPW0055580
23
 

The LFG treatment of discontinuity and the double infinitive construction in Dutch
Johnson, Mark
Stanford, Calif. : Stanford University, Center for the Study of Language and Information, 1986
 
1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-65    在架上    HPW0055669
24
 

Parameterized programming
Goguen, Joseph A
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-10    在架上    HPW0052473
25
 

Completeness of many-sorted equational logic
Goguen, J. A.
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-15    在架上    HPW0053968
26
 

On the mathematical properties of linguistic theories
Perrault, C. Raymond
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-18    在架上    HPW0052472
27
 

A simple and efficient implementation of higher-order functions in LISP
Georgeff, Michael P
Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-19    在架上    HPW0053944
28
 

Coordination and how to distinguish categories

Stanford, CA : Center for the Study of Language and Information, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-3    在架上    HPW0053942
29
 

Belief and incompleteness
Konolige, Kurt
Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-4    在架上    HPW0053932
30
 

Equality, types, modules and generics for logic programming
Goguen, Joseph A
Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-5    在架上    HPW0053935
31
 

Lessons from Bolzano
Van Benthem, Johan
Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-6    在架上    HPW0053934
32
 

Reflection and semantics in LISP
Smith, Brian Cantwell
Stanford, CA : Center for the Study of Language and Information, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-8    在架上    HPW0053936
33
 

The implementation of procedurally reflective languages
Des Rivières, Jim
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1984
 
c1984
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.84-9    在架上    HPW0053962
34
 

The situation in logic-II : conditionals and conditional information
Barwise, Jon
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-21    在架上    HPW0052477
35
 

Computationally relevant properties of natural languages and their grammars
Gazdar, Gerald
[Stanford, CA] : Center for the Study of Language and Information, Leland Stanford Junior University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-24    在架上    HPW0053931
36
 

The Situation in logic-III : situations, sets and the axiom of foundation
Barwise, Jon
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-26    在架上    HPW0052478
37
 

Semantic automata
Van Benthem, Johan
Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-27    在架上    HPW0053938
38
 

Indtitutions : abstract model theory for computer science
Goguen, J. A.
Standford, CA : Center for the Study of Language and Information, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-30    在架上    HPW0053943
39
 

A formal theory of knowledge and action
Moore, Robert C
[Stanford, CA] : Center for the Study of Language and Information, [Stanford University], c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-31    在架上    HPW0053963
40
 

The role of logic in artificial intelligence
Moore, Raymond Cecil, 1892-
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-33    在架上    HPW0052476
41
 

Commonsense summer : final report

Stanford, CA : Center for the Study of Language and Information, Leland Stanford Junior University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-35    在架上    HPW0053933
42
 

Limits of correctness in computers
Smith, Brian Cantwell
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-36    在架上    HPW0053967
43
 

On the coherence and structure of discourse
Hobbs, Jerry R
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985
 
c1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-37    在架上    HPW0053966
44
 

Language, mind, and information
Perry, John
Stanford, CA : Center for the Study of Language and Information, Stanford University, 1985
 
1985
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.85-44    在架上    HPW0051952
45
 

A compilation of papers on unification-based grammar formalisms, parts I and II

Stanford, CA : Center for the Study of Language and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-48    在架上    HPW0052471
46
 

Verbs of change, causation, and time
Abusch, Dorit, 1955-
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-50    在架上    HPW0051974
47
 

Noun phrase interpretation in Montague grammar, file change semantics, and situation semantics
Rooth, Mats
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-51    在架上    HPW0051973
48
 

Noun phrases, generalized quantifiers anaphora
Barwise, Jon
Stanford, Calif. : Center for the Study of Langauage and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-52    在架上    HPW0051932
49
 

Circumstantial attitudes and benevolent cognition
Perry, John
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-53    在架上    HPW0051972
50
 

A study in the foundations of programming methodology : specifications, institutions, charters and parchments
Goguen, Joseph A
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1986
 
c1986
紙本資料

館藏地: 傅斯年圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 傅斯年圖書館西文圖書區  Q335 R425  no.86-54    在架上    HPW0051976
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   1 2 3 Next