The following pages link to (Q3996846):
Displayed 9 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Coordination of parallel partially ordered processes (Q734144) (← links)
- Algebraic-logical model of an information retrieval system with an interface component (Q1264586) (← links)
- Design methodology for discrete manufacturing technologies (Q1286285) (← links)
- Formal methods in computer technologies (Q1288672) (← links)
- Foundations of the theory of relational database models (Q1369614) (← links)
- Cut technique in valued relational systems: Mainsprings and applications (Q1920318) (← links)
- An algebraic approach to knowledge base models informational equivalence (Q2492716) (← links)
- (Q4510752) (← links)