Modular Algebraic Specification of Some Basic Geometrical Constructions.
Joseph A. GoguenPublished in: Artif. Intell. (1988)
Keyphrases
- modular structure
- highly modular
- specification language
- formal verification
- modular neural networks
- high level
- user defined
- formal methods
- formal specification
- multi agent systems
- decision trees
- neural network
- business rules
- evolutionary algorithm
- case study
- artificial intelligence
- information retrieval
- machine learning