The following pages link to (Q3318085):
Displaying 8 items.
- Solving problems with automated reasoning, expert systems and neural networks (Q1366217) (← links)
- A software design technique for client-server applications (Q4240149) (← links)
- (Q4275999) (← links)
- (Q4332862) (← links)
- OOPM: An Object-Oriented Multimodeling and Simulation Application Framework (Q4420110) (← links)
- (Q4692855) (← links)
- (Q4692865) (← links)
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses (Q5038461) (← links)