BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Astrachan:Owen_L=

Contributed to:

ITiCSE 20002000
ITiCSE 19981998
CADE 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.