Stem macintosh$ (all stems)

7 papers:

CADE-1992-Chou #geometry #proving #theorem proving

A Geometry Theorem Prover for Macintoshes (SCC), pp. 686–690.

ECHT-1990-Bechtel #hypermedia

Inside Macintosh as Hypertext (BLB), pp. 312–323.

SEI-1989-WerthW #education #object-oriented #programming #using

Teaching Object-Oriented Programming Using the Macintosh MPW/MacApp Environment (LHW, JW), pp. 141–155.

CAiSE-1989-LagerkvistN #automation #how #tool support

How to Succeed with Modern Tools such as the CASE tool “Deft” on the Macintosh (CL, ÅN).

RTA-1989-BonacinaS #equation #named #proving #theorem proving

KBlab: An Equational Theorem Prover for the Macintosh (MPB, GS), pp. 548–550.

ICSE-1988-NakagawaFTS #algebra #specification #using

Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.

HCI-CE-1987-Nielsen #case study #user interface

A User Interface Case Study of the Macintosh (JN), pp. 241–248.