The following pages link to (Q4023882):
Displaying 5 items.
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings (Q1896492) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- Shape-understanding system: A system of experts (Q3159446) (← links)
- (Q4873710) (← links)