Travelled to:
1 × USA
Collaborated with:
J.A.Rader
Talks about:
checkout (1) expand (1) logic (1) equat (1) list (1)
Person: D. A. Isaak
DBLP: Isaak:D=_A=
Contributed to:
Wrote 1 papers:
- DAC-1969-RaderI #equation #logic
- Aw expanded logic equation list for checkout (JAR, DAI), pp. 291–296.