Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
1928-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Gabbay, Dov M.
Galton, Anthony
Hogger, Christopher John
Nute, Donald
Siekmann, Jörg H.
Voronkov, Andrej (1959-)
Voronkov, Andrej Aleksandrovič (1959-)
Titles: 
Deduction methodologies
Handbook of automated reasoning, 2001:
Handbook of logic in artificial intelligence and logic programming
journal of the acm
Logic, form and function. -
Logical foundations
Nonmonotonic reasoning and uncertain reasoning
Notes: 
Sources: 
VIAF DNB LNB NSK NTA WKP
TEL