John Alan Robinson (Selection)

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

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

Selection of 2 from 23 records - John Alan Robinson has 4 coauthors