John Alan Robinson

Robinson in 2012 John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University.

Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'J.A. Robinson', query time: 0.03s Refine Results
  1. 1
    High doses of a national preschool program are associated with the long-term mitigation of adverse outcomes in cognitive development and life satisfaction among children who experience early stunting: a multi-site longitudinal study in Vietnam

    High doses of a national preschool program are associated with the long-term mitigation of adverse outcomes in cognitive development and life satisfaction among children who experi... by J. A. Robinson, Phuong Thi Thu Dinh, Phuong Thi Thu Dinh

    Published 2023
    Connect to this object online.
    Book
    Save to List
    Saved in:
  2. 2
    PP 2.17 - 00187 Myeloid-derived extracellular vesicle production is upregulated with SHIV.D infection

    PP 2.17 - 00187 Myeloid-derived extracellular vesicle production is upregulated with SHIV.D infection by R. Podgorski, R. Warfield, J.A. Robinson, K.J. Bar, T.H. Burdo

    Published 2022
    Connect to this object online.
    Book
    Save to List
    Saved in:

Search Tools: