Travelled to:
2 × USA
Collaborated with:
E.P.Stabler F.Rubin
Talks about:
design (2) logic (2) program (1) product (1) improv (1) comput (1) front (1) engin (1) use (1) end (1)
Person: Paul W. Horstmann
DBLP: Horstmann:Paul_W=
Contributed to:
Wrote 2 papers:
- DAC-1984-HorstmannS #design #logic programming #using
- Computer aided design (CAD) using logic programming (PWH, EPS), pp. 144–151.
- DAC-1983-RubinH #design #logic
- A logic design front-end for improved engineering productivity (FR, PWH), pp. 239–245.