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 - 3 results of 3 for search 'J.A. Robinson', query time: 3.93s Refine Results
  1. 1
    ’n Beknopte regshistoriese oorsig van die vereistes vir die totstandkoming van ’n regsgeldige huwelik

    ’n Beknopte regshistoriese oorsig van die vereistes vir die totstandkoming van ’n regsgeldige huwelik by J.A. Robinson

    Published 2004-07-01
    Get full text
    Article
  2. 2
    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-12-01
    Get full text
    Article
  3. 3
    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-12-01
    Get full text
    Article

Search Tools: