Robinson, J. A. (John Alan)
Robinson, John Alan
![Sudoc [ABES], France](https://viaf.org/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Robinson, John Alan (1930-2016).
Robinson, John A.
John Alan Robinson British-American mathematician (1930-2016)
Robinson, J. A.
Robinson, Alan (J.A.)
Robinson, John A. 1930-2016
Robinson, Alan (John Alan)
VIAF ID: 162625411 (Personal)
Permalink: http://viaf.org/viaf/162625411
Preferred Forms
-
100 0 _
‡a
John Alan Robinson
‡c
British-American mathematician (1930-2016)
-
200 _ |
‡a
Robinson
‡b
John Alan
-
100 1 _ ‡a Robinson, Alan ‡q (J.A.)
-
100 1 _ ‡a Robinson, Alan ‡q (John Alan)
-
100 1 _ ‡a Robinson, J. A.
-
100 1 _
‡a
Robinson, J. A.
‡q
(John Alan)
-
100 1 0
‡a
Robinson, J. A.
‡q
(John Alan)
-
100 1 _ ‡a Robinson, J. A. ‡q (John Alan)
-
100 1 _ ‡a Robinson, J. A. ‡q (John Alan)
-
100 1 0 ‡a Robinson, J. A. ‡q (John Alan)
-
100 1 _
‡a
Robinson, John A.
-
100 1 _
‡a
Robinson, John A.
‡d
1930-2016
-
100 1 _
‡a
Robinson, John Alan
-
100 1 _ ‡a Robinson, John Alan
-
100 1 _ ‡a Robinson, John Alan
-
100 1 _ ‡a Robinson, John Alan ‡d (1930-2016).
4xx's: Alternate Name Forms(28)
5xx's: Related Names(12)
- 500 1 _
‡a
Arbib, Michael A.
- 500 1 _
‡a
Gabbay, Dov M.
- 500 1 _
‡a
Galton, Antony
- 500 1 _
‡a
Hogger, Christopher John
- 500 1 _
‡a
Lassez, Jean-Louis
- 500 1 _
‡a
Nute, Donald
- 500 1 _
‡a
Plotkin, Gordon
- 500 1 _
‡a
Robinson, John A.
- 500 1 _
‡a
Robinson, John A.
‡d
1928-
- 500 1 _
‡a
Rétey, J.
- 500 1 _
‡a
Rétey, Janos
- 500 1 _
‡a
Siekmann, Jörg H.
Works
| Title | Sources |
|---|---|
| Computational logic. - |
|
| Deduction methodologies |
|
| Epistemic and temporal reasoning |
|
| Handbook of automated reasoning. |
|
| Handbook of logic in artificial intelligence and logic programming |
|
| Logic: form and function: the mechanization of deductive reasoning |
|
| Logical foundations |
|
| Natural and artificial parallel computation |
|
| Nonmonotonic reasoning and uncertain reasoning |
|
| Stereospecificity in organic chemistry and enzymology |
|
