John Alan Robinson

Available identifiers

zbMath Open robinson.john-alanDBLP05/1544WikidataQ327981 ScholiaQ327981MaRDI QIDQ2767040

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3367331	2006-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4530470	2002-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q2767041	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4364503	1998-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q5688937	1997-03-11	Paper
Introduction: 10th birthday special issue of the journal of logic programming	1994-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5289024	1993-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3210146	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028320	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616170	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5590824	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5636315	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5614672	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626301	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5591533	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5562604	1967-01-01	Paper
A Machine-Oriented Logic Based on the Resolution Principle	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541351	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5557485	1964-01-01	Paper
Theorem-Proving on the Computer	1963-01-01	Paper

Research outcomes over time

This page was built for person: John Alan Robinson