Publications of Owen L Astrachan    :chronological  combined  bibtex listing:

Journal articles or Book chapters PUBLISHED

1. O.L. Astrachan and D.W. Loveland, The Use of Lemmas in the Model Elimination Procedure, Journal of Automated Reasoning, vol. 19 no. 1 (August, 1997), pp. 117-141
2. Owen Astrachan, Kim Bruce, Robert Cupper, Peter Denning, Scot Drysdale, Tom Horton, Charles Kelemen, Cathy McGeoch, Yale Patt, Viera Proulx, Roy Rada, Richard Rasala, Eric Roberts, Steven Rudich, Lynn Stein, Allen Tucker, Charles van Loan, Strategic Directions in Computer Science Education, ACM Computing Surveys, vol. 28 no. 4 (December, 1996)
3. O.L. Astrachan and Susan Horwitz and the Advanced Placement Computer Science Development Committee, Technical Opinion: The First Course Conundrum, Communications of the ACM (June, 1995), pp. 117-118
4. O.L. Astrachan, METEOR: Exploring Model Elimination Theorem Proving, Journal of Automated Reasoning, vol. 13 no. 2 (1994), pp. 283-296
5. O.L. Astrachan and D.W. Loveland, METEORs: High Performance Theorem Provers Using Model Elimination, in Automated Reasoning: Essays in Honor of Woody Bledsoe, edited by R.S. Boyer (1991), Kluwer Academic Press

Books PUBLISHED

1. O.L. Astrachan, A Computer Science Tapestry: Exploring Programming and Computer Science with C++, Second Edition (2000), McGraw-Hill
2. O.L. Astrachan, A Computer Science Tapestry: Exploring Programming and Computer Science with C++ (1997), McGraw-Hill
3. O.L. Astrachan, The Large Integer Case Study in C++ (1997), The College Board, Advanced Placement Program