Computer Aided Transformation of Z into Prolog.
A. J. J. DickPaul J. KrauseJ. CozensPublished in: Z User Workshop (1989)
Keyphrases
- computer aided
- computer assisted
- computer aided design
- computer aided diagnosis
- diagnosis of breast cancer
- capsule endoscopy
- knowledge base
- image analysis
- expert systems
- programming language
- process planning
- prolog programs
- logic programming
- computer vision
- design tools
- pattern recognition
- differential diagnosis
- case study
- fault tree