William F. Clocksin

From MaRDI portal
Person:3754569

Available identifiers

zbMath Open clocksin.william-fWikidataQ102123245 ScholiaQ102123245MaRDI QIDQ3754569

List of research outcomes





PublicationDate of PublicationType
Artificial intelligence and the future2004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q44232022003-08-26Paper
https://portal.mardi4nfdi.de/entity/Q43533381997-09-08Paper
https://portal.mardi4nfdi.de/entity/Q43177211994-12-20Paper
https://portal.mardi4nfdi.de/entity/Q39966831993-01-23Paper
A technique for translating clausal specifications of numerical methods into efficient programs1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47207711987-01-01Paper
Logic programming and digital circuit analysis1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39190571981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41891001979-01-01Paper

Research outcomes over time

This page was built for person: William F. Clocksin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3754569&oldid=11974800"
Powered by MediaWiki