Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000118276564 | 1 hits
Person
ISNI: 
0000 0001 1827 6564
Name: 
Robinson, Alan
Robinson, J. A.
Robinson, J. Alan
Robinson, John A.
Robinson, John Alan
Dates: 
1937-
Creation class: 
cre
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Arbib, Michael A.
Gabbay, Dov M.
Galton, Antony
Hogger, Christopher John
Lassez, Jean-Louis
Nute, Donald
Plotkin, Gordon (1946-)
Rétey, J.
Rétey, Janos
Siekmann, Jörg H.
Voronkov, Andrei (1959-)
Voronkov, Andrej (1959-)
Voronkov, Andrej Aleksandrovič (1959-)
Titles: 
Computational logic, c1991:
Computational logic : essays in honor of Alan Robinson
Deduction methodologies
Epistemic and temporal reasoning
Handbook of automated reasoning, 2001:
Handbook of automated reasoning. Vol. 1
Handbook of logic in artificial intelligence and logic programming
journal of the acm
Künstliche Intelligenz und heuristisches programmieren
Logic, form and function, c1979:
Logic: form and function : the mechanization of deductive reasoning
Logic programming
Logical foundations
Natural and artificial parallel computation
Nonmonotonic reasoning and uncertain reasoning
StereospecificitY in organic chemistry and enzymology
Notes: 
Sources: 
VIAF BNF DNB LC LNB NLI NSK NTA NUKAT WKP
TEL