William F. Clocksin

Available identifiers

zbMath Open clocksin.william-fWikidataQ102123245 ScholiaQ102123245MaRDI QIDQ3754569

List of research outcomes

Publication	Date of Publication	Type
Artificial intelligence and the future	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4423202	2003-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4353338	1997-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4317721	1994-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3996683	1993-01-23	Paper
A technique for translating clausal specifications of numerical methods into efficient programs	1988-01-01	Paper
Logic programming and digital circuit analysis	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4720771	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919057	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4189100	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William F. Clocksin