Search CORE

3 research outputs found

External analogy in inductive theorem proving

Author: A. Bundy
A. Bundy
A. Bundy
J.C. Munyer
J.G. Carbonell
R.S. Boyer
S. Vadera
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Variant design for mechanical artifacts: A state-of-the-art survey

Author: A. Goel
A. Goel
D. Hennessy
D. Navinchandra
D.S. Wile
E. Simoudis
E.A. Domoshek
F. Zhao
G.A. Kramer
ISO/CDC 13584-1
J. E. Fowler
J. Mostow
J.C. Munyer
J.G. Carbonell
J.G. Carbonell
K. Sycara
K. Sycara
K. Sycara
K.J. Hammond
L.I. Steinberg
M. Kriegsman
M. Pearce
M.I. Maher
M.N. Huhns
P.H. Winston
R.E. Kling
R.L. Simpson
R.P. Hall
T.G. Evans
Y. Nakatani
Y. Pao
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Program abstraction and instantiation

Author: ALLEN F. E.
AUB N R
BACK R. J.
BALZER R. M.
BARSTOW D.R.
BAUER F. L.
BLIKLE A.
BROTSKY D.
BROWN F. M.
BROWN R.H.
BUNDY A.
BURSTEIN M.H.
CARBONELL J.G.
CARSONELL J. G.
CONWA~ R.
COOPER D.C
DARLINGTON J.
DECHTER R.
DERSHOW TZ N
DERSHOW TZ N
DERSHOWITZ N.
DEUSSEN P.
DIJKSTRA E.W.
DIJKSTRA E.W.
DUNCAN A. G.
EVANS T.G.
FIKES R. E.
FLOYD W.
GERHART S. L.
GERHART S. L.
GERHART S.L.
HESSE M.
HUET G.
KIEBURTZ R.
KIRCHNER C.
KLING R.E
KOWALSKI R.A.
LEE S.
MANNA Z.
MCDERMOTT J.
MISRA J
MOSTOW J
MUNYER J.C.
MURALIDHARAN M.N.
Nachum Dershowitz
PLAISTED D.A
RICH C.
SCHWARTZ J. T.
STANDISH T. A.
STANDISH T. A.
SUSSMAN G. J.
ULRICH J. W.
WALKER S. A.
WATERS R.C.
WEGBREIT B
YELOW TZ L
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core