Travelled to:1 × Finland
1 × Ireland
1 × USA
Collaborated with:∅ M.E.Stickel C.Kelemen A.B.Tucker P.Henderson K.B.Bruce
Talks about:curriculum (1) technolog (1) perspect (1) instruct (1) american (1) theorem (1) lemmaiz (1) concret (1) prover (1) phobic (1)
Person: Owen L. Astrachan
DBLP: Astrachan:Owen_L=
Contributed to:
20001998
1992Wrote 3 papers:
- ITiCSE-2000-KelemenTHAB #education
- Has our curriculum become math-phobic? (an American perspective) (CK, ABT, PH, OLA, KBB), pp. 132–135.
- ITiCSE-1998-Astrachan #education
- Concrete teaching: hooks and props as instructional technology (OLA), pp. 21–24.
- CADE-1992-AstrachanS #proving #theorem proving
- Caching and Lemmaizing in Model Elimination Theorem Provers (OLA, MES), pp. 224–238.