The following pages link to (Q3996846):
Displayed 16 items.
- Algebraic interpretation of a microprogram finite-state machine with datapath of transitions (Q314987) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Coordination of parallel partially ordered processes (Q734144) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← 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)
- Symmetries of knowledge bases (Q1926585) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- An algebraic approach to knowledge base models informational equivalence (Q2492716) (← links)
- Bilattices and hyperidentities (Q2510765) (← links)
- (Q4510752) (← links)
- Polyadic algebras with terms: A signature-free approach (Q5239106) (← links)