J. A. Robinson

• Logic
• Computational logic
• Handbook of automated reasoning
• Handbook of logic in artificial intelligence and logic programming
• Logic, form and function
• Looking at language
• Natural and artificial parallel computation
• Software design for engineers and scientists
• 2D Materials and Devices Beyond Graphene
• An objective scrutiny of insurance
• Autobiography of a Chief Test Pilot
• Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products