3 research outputs found
External analogy in inductive theorem proving
- 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