Abstract is missing.
- Grouper: An Expert System for RedistrictingStephen P. Leach, Abraham Kandel. 6-12 [doi]
- Fault FinderW. Elliot, Mordechay Schneider. 13-23 [doi]
- Specification and Verification of Active Message SystemsKok Wai Wong, Elizabeth A. Unger. 24-30 [doi]
- Dynamic Data as Deterrent to the TrackerMiguel Cabrera, Elizabeth A. Unger. 31-35 [doi]
- ASK: A Kernel for Programming Actor SystemsMichele Di Santo, Giulio Iannello. 36-42 [doi]
- Dynamically Displaying a Pascal Program in ColorJohn F. Cigas. 68-71 [doi]
- Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal ComputersPaolino Di Felice. 72-79 [doi]
- An Approach to Tableau Inferencing with Hardwired HeuristicsHal Berghel, Richard Rankin, Farrukh Burney. 90-93 [doi]
- Real-Time Reasoning with PROLOGChunsik Yi, Steven Graham. 94-97 [doi]
- STP: A Simple Theorem Prover for IBM-PC Compatible ComputersBlayne E. Mayfield, Timothy B. Baird. 98-105 [doi]
- Using Object-Orientation to Implement Logic ProgrammingPhilip T. Cox. 106-114 [doi]
- A Small Operating SystemJerry E. Sayers. 132-142 [doi]
- A Dynamic Memory Approach to Case Based Reasoning: AI Research on a MacintoshBarbara Cuthill, Mallory Selfridge. 143-150 [doi]
- An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget s International ThesaurusJohn R. Talburt, Donna M. Mooney. 156-159 [doi]
- System Integration in MultidatabasesPeter Bodorik, J. Spruce Riordon. 160-163 [doi]
- CLARE - A Prolog Database MachineKam-Fai Wong, M. Howard Williams. 172-177 [doi]
- Performance Comparison of Extendible Hashing and Linear Hashing TechniquesAshok Rathi, Huizhu Lu, G. E. Hedrick. 178-185 [doi]
- Implementation of a VLSI Layout Tool on Personal ComputersA. G. Jost, P. Streatch, D. B. Guptill. 186-190 [doi]
- A Dedicated Small Computer for Artificial IntelligenceHiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara. 191-198 [doi]
- Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an ImplementationLester Lipsky, Dilip Tagare, Edward Bigos. 199-204 [doi]
- Performance Based Multiple Server Support for Distributed Real Time ApplicationsTahany A. Fergany, Howard A. Sholl. 205-214 [doi]
- A Formal Specification Tool for Office SystemsHossein Saiedian, Elizabeth A. Unger. 215-220 [doi]
- Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal ComputerAngela Dixon, Ramesh Sharda. 221-227 [doi]
- DCA: An Expert System for Auditing Data CommunicationsPatrick D. Fett, K. M. George. 238-245 [doi]
- Fuzzy Belief NetworksDavid F. Clark, Abraham Kandel. 246-248 [doi]
- Explanation in Ecological SystemsD. Riordan, K. J. Carden. 249-254 [doi]
- Self Organizing Neural Networks with a Split/Merge AlgorithmA. D. Kulkarni, George M. Whitson. 255-261 [doi]
- Using a Competitive Learning Neural Network to Evaluate Software ComplexityJohn W. Sheppard, William R. Simpson. 262-267 [doi]
- Using an Artificial Neural System to Determine the Knowledge Base of an Expert SystemGeorge M. Whitson, Cathy H. Wu, Pam Taylor. 268-270 [doi]
- An Object-Oriented Data Model for Partition Processing in Distributed DatabasesRizwan Mithani. 271-279 [doi]
- Implementation and Manipulation of Formal Objects: An Object-Oriented ViewMauro Regio, Marco Temperini. 283-287 [doi]
- Edmund: A Multicast Kernel for Distributed ApplicationLarry Hughes. 296-304 [doi]