-
1
-
-
0003506569
-
-
CSLI Lecture Notes 14, U. Chicago Press
-
Peter Aczel, Non-well-founded Sets, CSLI Lecture Notes 14, U. Chicago Press (1988)
-
(1988)
Non-well-founded Sets
-
-
Aczel, P.1
-
5
-
-
0003334351
-
Challenges for conceptual design environments: The vehicles experience
-
Hermes, Paris (Sept.)
-
Kirstie L. Bellman, April Gillam, Christopher Landauer, "Challenges for Conceptual Design Environments: The VEHICLES Experience", Rev. Int. de CFAO et d'Infographie, Hermes, Paris (Sept. 1993)
-
(1993)
Rev. Int. de CFAO et D'Infographie
-
-
Bellman, K.L.1
Gillam, A.2
Landauer, C.3
-
6
-
-
0021447875
-
Common origin of linguistic and movement abilities
-
Kirstie L. Bellman and Lou Goldberg, "Common Origin of Linguistic and Movement Abilities", Amer. J. Physiology, Vol. 246, pp. R915-R921 (1984)
-
(1984)
Amer. J. Physiology
, vol.246
-
-
Bellman, K.L.1
Goldberg, L.2
-
7
-
-
0034260027
-
Towards an integration science: The influence of Richard Bellman on our research
-
Kirstie L. Bellman, Christopher Landauer, "Towards an Integration Science: The Influence of Richard Bellman on our Research", J. Math. Anal. Appls, Vol. 249, No. 1, pp. 3-31 (2000)
-
(2000)
J. Math. Anal. Appls
, vol.249
, Issue.1
, pp. 3-31
-
-
Bellman, K.L.1
Landauer, C.2
-
9
-
-
0001758336
-
On the concepts of a problem and problem-solving
-
Richard Bellman, P. Brock, "On the concepts of a problem and problem-solving", Amer. Math. Monthly, Vol. 67, pp. 119-134 (1960)
-
(1960)
Amer. Math. Monthly
, vol.67
, pp. 119-134
-
-
Bellman, R.1
Brock, P.2
-
10
-
-
80051708931
-
Port-based adaptable agent architecture
-
Paul Robertson, Howie Shrobe, Robert Laddaga (eds.), Springer LNCS 1936
-
Kevin R. Dixon, Theodore Q. Pham, Pradeep K. Khosla, "Port-Based Adaptable Agent Architecture", pp. 181-198 in Paul Robertson, Howie Shrobe, Robert Laddaga (eds.), Self-Adaptive Software, Springer LNCS 1936 (2001)
-
(2001)
Self-adaptive Software
, pp. 181-198
-
-
Dixon, K.R.1
Pham, T.Q.2
Khosla, P.K.3
-
11
-
-
84960940206
-
Circular coinductive rewriting
-
11-15 September 2000, Grenoble, France, IEEE Press
-
Joseph Goguen, Kai Lin, and Grigore Roşu, "Circular Coinductive Rewriting", pp. 123-131 in Proc. ASE'00, 11-15 September 2000, Grenoble, France, IEEE Press (2000)
-
(2000)
Proc. ASE'00
, pp. 123-131
-
-
Goguen, J.1
Lin, K.2
Roşu, G.3
-
13
-
-
0003024867
-
Generic programming, partial evaluation, and a new programming paradigm
-
Ch. 8, in Gene McGuire (ed.), Idea Group
-
Christopher Landauer, Kirstie L. Bellman, "Generic Programming, Partial Evaluation, and a New Programming Paradigm", Ch. 8, pp. 108-154 in Gene McGuire (ed.), Software Process Improvement, Idea Group (1999)
-
(1999)
Software Process Improvement
, pp. 108-154
-
-
Bellman, C.L.K.L.1
-
14
-
-
0011310909
-
Computational embodiment
-
Ch. 11, in Kerstin Dautenhahn (ed.), Benjamins
-
Christopher Landauer, Kirstie L. Bellman, "Computational Embodiment", Ch. 11, pp. 301-322 in Kerstin Dautenhahn (ed.), Human Cognition and Social Agent Technology, Benjamins (2000)
-
(2000)
Human Cognition and Social Agent Technology
, pp. 301-322
-
-
Landauer, C.1
Bellman, K.L.2
-
15
-
-
35048844108
-
Self-modeling systems
-
R. Laddaga, H. Shrobe (eds.), Springer LNCS 2614
-
Christopher Landauer, Kirstie L. Bellman, "Self-Modeling Systems", pp. 238-256 in R. Laddaga, H. Shrobe (eds.), "Self-Adaptive Software: Applications", Springer LNCS 2614 (2003)
-
(2003)
Self-adaptive Software: Applications
, pp. 238-256
-
-
Landauer, C.1
Bellman, K.L.2
-
16
-
-
0005163099
-
Software infrastructure for system engineering support
-
12 July 1993, Wash., D.C.
-
Christopher Landauer, Kirstie L. Bellman, April Gillam, "Software Infrastructure for System Engineering Support", Proc. AAAI'93 Wkshp. AI for Software Engr., 12 July 1993, Wash., D.C. (1993)
-
(1993)
Proc. AAAI'93 Wkshp. AI for Software Engr.
-
-
Landauer, C.1
Bellman, K.L.2
Gillam, A.3
-
19
-
-
0001954134
-
Tyrannical languages still preempt system design
-
20-23 April 1992, Oakland, Calif.
-
Mary Shaw, William A. Wulf, "Tyrannical Languages still Preempt System Design", pp. 200-211 in Proc. ICCL'92, 20-23 April 1992, Oakland, Calif. (1992);
-
(1992)
Proc. ICCL'92
, pp. 200-211
-
-
Shaw, M.1
Wulf, W.A.2
-
20
-
-
0002455118
-
Toward relaxing assumptions in languages and their implementations
-
updates (March)
-
updates "Toward Relaxing Assumptions in Languages and their Implementations", ACM SIGPLAN Not., Vol. 15, No. 3, pp. 45-51 (March 1980)
-
(1980)
ACM SIGPLAN Not.
, vol.15
, Issue.3
, pp. 45-51
-
-
|