Title: Logic models of design
Subjects: Computer-aided design, Electronic data processing, Expert systems (Computer science), Logic programming, System analysis