42 pages matching formal in this book
Results 1-3 of 42
What people are saying - Write a review
We haven't found any reviews in the usual places.
Welcoming Address by John R Mitchell Director The U S Army
Reply to Newell and Card
34 other sections not shown
Abstract adaption algorithm analysis application approach assessment Boolean COBOL cognitive communication complexity components Computer Science computer system concept data base data types database decision diagnosed diffusion diffusion of innovations display document domain downtime DRILL effects empirical environment errors evaluation example expert systems failures Figure floating point formal framework functions hierarchy Human Factors human-computer interaction identified IEEE implementation information retrieval information systems innovations input integrated interface design issues knowledge engineering machine man-machine measurement mental model menu methodologies methods natural language interfaces Newell and Card NLQS node operator output PasTran performance phase problem space procedure process control process control logic PROLOG prototype psychology query languages representation screen sequence software engineering specific statement strategies structure subjects system design task techniques tion TREE_TYPE troubleshooting user interface values variables variation within-field