Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2001 | |
---|---|---|

23 | John Alan Robinson, Andrei Voronkov: Handbook of Automated Reasoning (in 2 volumes) Elsevier and MIT Press 2001 | |

22 | John Alan Robinson, Andrei Voronkov: Preface. Handbook of Automated Reasoning 2001 | |

21 | John Alan Robinson: Invited editorial. TPLP 1(1): 1 (2001) | |

2000 | ||

20 | EE | John Alan Robinson: Computational Logic: Memories of the Past and Challenges for the Future. Computational Logic 2000: 1-24 |

19 | John Alan Robinson: Proof = Guarantee + Explanation. Intellectics and Computational Logic 2000: 277-294 | |

1997 | ||

18 | John Alan Robinson, Tomas P. Flores: Novel Techniques for Visualizing Biological Information. ISMB 1997: 241-249 | |

17 | John Alan Robinson: Unification and resolution in retrospect. JFPLC 1997: 241- | |

16 | John Alan Robinson: Informal Rigor and Mathematical Understanding. Kurt Gödel Colloquium 1997: 54-64 | |

1995 | ||

15 | John Alan Robinson, Jonas Barklund: Vesper. Machine Intelligence 15 1995: 360-377 | |

1994 | ||

14 | John Alan Robinson: Logic, Computers, Turing, and von Neumann. Machine Intelligence 13 1994: 1-35 | |

13 | John Alan Robinson: Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. J. Log. Program. 19/20: 5-8 (1994) | |

1992 | ||

12 | John Alan Robinson: The Role of Logic in Computer Science and Artificial Intelligence. FGCS 1992: 199-210 | |

11 | John Alan Robinson: Logic and Logic Programming. Commun. ACM 35(3): 40-65 (1992) | |

1991 | ||

10 | John Alan Robinson: Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282 | |

1986 | ||

9 | John Alan Robinson: Is Logic Programming Enough? DS-2 1986: 307-319 | |

8 | John Alan Robinson: The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219-224 | |

7 | John Alan Robinson: Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) LICS 1986: 2 | |

1984 | ||

6 | John Alan Robinson: Editor's Introduction. J. Log. Program. 1(1): 1-2 (1984) | |

1983 | ||

5 | John Alan Robinson: Logic Programming - Past, Present and Future. New Generation Comput. 1(2): 107-124 (1983) | |

1968 | ||

4 | John Alan Robinson: New directions in mechanical theorem proving. IFIP Congress (1) 1968: 63-69 | |

1967 | ||

3 | John Alan Robinson, Norman M. Martin: Meeting of the Association for Symbolic Logic. J. Symb. Log. 32(3): 430 (1967) | |

1965 | ||

2 | EE | John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41 (1965) |

1963 | ||

1 | EE | John Alan Robinson: Theorem-Proving on the Computer. J. ACM 10(2): 163-174 (1963) |

1 | Jonas Barklund | [15] |

2 | Tomas P. Flores | [18] |

3 | Norman M. Martin | [3] |

4 | Andrei Voronkov | [22] [23] |