MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ian Underwood" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
by Steven Minton, Ian Underwood — 1994
… and Ian Underwood Recom Technologies NASA Ames Research Center Mail Stop 269-2 Moffett Field, CA 94035…
Cited by 9 (6 self) – Add To MetaCart

"A review of microdisplay technologies"
by Ian Underwood The, Held At, Ian Underwood, Ian Underwood — 2000
…“A review of microdisplay technologies” Ian Underwood The University of Edinburgh A keynote paper…
Add To MetaCart

AMPHION: Automatic programming for scientific subroutine libraries
by Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood — 1994 — Intl. Symp. on Methodologies for Intelligent Systems
…, Thomas Pressburger, and Ian Underwood AI Research Branch, NASA Ames Recom Technologies, M.S. 269…
Cited by 19 (2 self) – Add To MetaCart

Deductive Composition of Astronomical Software from Subroutine Libraries
by Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood — In Proceedings 12th International Conference on Automated Deduction
… Pressburger, and Ian Underwood ++ Artificial Intelligence Research Branch Recom Technologies NASA Ames…
Cited by 56 (4 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB