John Alan Robinson

MaRDI QIDQ2767040zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 5000989 (Why is no real title available?)	2006-01-24	Paper
scientific article; zbMATH DE number 1748585 (Why is no real title available?)	2002-10-15	Paper
scientific article; zbMATH DE number 1696784 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1088190 (Why is no real title available?)	1998-05-10	Paper
scientific article; zbMATH DE number 970744 (Why is no real title available?)	1997-03-11	Paper
Introduction: 10th birthday special issue of the journal of logic programming The Journal of Logic Programming	1994-10-13	Paper
scientific article; zbMATH DE number 274905 (Why is no real title available?)	1993-09-14	Paper
scientific article; zbMATH DE number 4191084 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4016168 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3310099 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3339443 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3337682 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3351217 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3362981 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3310921 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3278281 (Why is no real title available?)	1967-01-01	Paper
A Machine-Oriented Logic Based on the Resolution Principle Journal of the ACM	1965-01-01	Paper
scientific article; zbMATH DE number 3254919 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3272723 (Why is no real title available?)	1964-01-01	Paper
Theorem-Proving on the Computer Journal of the ACM	1963-01-01	Paper

Research outcomes over time

This page was built for person: John Alan Robinson